Python celar2SAT Examples

Example #1

File: GRASP_RemakeA.py Project: navicto/AI_CMU

def main():
    sys.setrecursionlimit(8000)
    
    '''CAP NO TEST'''
#    instancePath='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/SURPRISE/graph01/'
#    library=formula(instancePath+'dimacs.txt')
#    t1=datetime.datetime.now()
#    GRASP(1,library)
#    t2=datetime.datetime.now()
#    totalT=t2-t1
#    print totalT
    
    ''' CAP WITH TEST'''
    instancePath='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/CELAR/scen01/'
    constraints=open(instancePath+'ctr.txt','r').readlines()
    domains=open(instancePath+'dom.txt','r').readlines()
    var_domains=open(instancePath+'var.txt','r').readlines()
    instance=celar(constraints, domains, var_domains)
    dimacsPath=instancePath
    x=celar2SAT(instance._varDomains,instance._domains,instance._constraints,dimacsPath)
    library=formula(instancePath+'dimacs.txt')
    t1=datetime.datetime.now()
    GRASP(1,library)
    t2=datetime.datetime.now()
    totalT=t2-t1
    print totalT
    SAT2CAP2(library._assignment,instancePath,x._varDictionary)
#    sat=0
#    for w in library._clauses:
#        if library._clauses[w]._status == True:
#            sat+=1
#    sat
    (sat,unsatConstraints)=evalCAP(instance,instancePath+'solution.txt')
    print unsatConstraints
    print sat

    
   
    '''WITHOUT CAP'''
#    path='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/test/dimacs.txt'
#    library=formula(path)
#    GRASP(1,library)
#    printAssignment(library)
#    
    '''TEST SOLUTION'''
#    instancePath='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/SURPRISE/graph01/'
#    constraints=open(instancePath+'ctr.txt','r').readlines()
#    domains=open(instancePath+'dom.txt','r').readlines()
#    var_domains=open(instancePath+'var.txt','r').readlines()
#    instance=celar(constraints, domains, var_domains)
#    (sat,unsatConstraints)=evalCAP(instance,instancePath+'solution.txt')
#    print unsatConstraints
#    print sat

    '''ALL INSTANCES'''

Example #2

File: GRASP_RevE.py Project: navicto/AI_CMU

def main():
    sys.setrecursionlimit(8000)
#    
#    for arg in sys.argv:
#        file=re.match(r'file=(.+)', arg)
#        if file:
#            instancePath=file.group(1)
#    
    
    
    ''' WITH CAP'''
    instancePath='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/SURPRISE/graph01/'
    constraints=open(instancePath+'ctr.txt','r').readlines()
    domains=open(instancePath+'dom.txt','r').readlines()
    var_domains=open(instancePath+'var.txt','r').readlines()
    instance=celar(constraints, domains, var_domains)
    dimacsPath=instancePath
    x=celar2SAT(instance._varDomains,instance._domains,instance._constraints,dimacsPath)
    library=formula(instancePath+'dimacs.txt')
    t1=datetime.datetime.now()
    GRASP(1,library)
    t2=datetime.datetime.now()
    totalT=t2-t1
    print totalT
    SAT2CAP2(library._vars,instancePath,x._varDictionary)
    (sat,unsatConstraints)=evalCAP(instance,instancePath+'solution.txt')
#    print unsatConstraints
    print sat

    
   
    '''WITHOUT CAP'''
#    path='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/test/dimacs.txt'
#    library=formula(path)
#    GRASP(1,library)
#    printAssignment(library)
    
    '''TEST SOLUTION'''
#    instancePath='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/SURPRISE/graph01/'
#    constraints=open(instancePath+'ctr.txt','r').readlines()
#    domains=open(instancePath+'dom.txt','r').readlines()
#    var_domains=open(instancePath+'var.txt','r').readlines()
#    instance=celar(constraints, domains, var_domains)
#    (sat,unsatConstraints)=evalCAP(instance,instancePath+'solution.txt')
#    print unsatConstraints
#    print sat

    '''ALL INSTANCES'''

Example #3

File: GRASP_RevC.py Project: navicto/AI_CMU

def main():
    sys.setrecursionlimit(8000)
    
    ''' WITH CAP'''
    path='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/test/dimacs.txt'
    path='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/SURPRISE/graph01/dimacs.txt'
    instancePath='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/SURPRISE/graph01/'
    constraints=open(instancePath+'ctr.txt','r').readlines()
    domains=open(instancePath+'dom.txt','r').readlines()
    var_domains=open(instancePath+'var.txt','r').readlines()
    instance=celar(constraints, domains, var_domains)
    dimacsPath=instancePath
    x=celar2SAT(instance._varDomains,instance._domains,instance._constraints,dimacsPath)
    library=formula(path)
    GRASP(1,library)
    SAT2CAP2(library._vars,instancePath,x._varDictionary)
    
#    
#    '''WITHOUT CAP'''
#    path='/Users/Victor/Dropbox/DBMI/2. Spring 2013/Artificial Intelligence/Project/Instances/test/dimacs.txt'
#    library=formula(path)
#    GRASP(1,library)
    
    '''TEST SOLUTION'''