Code: Select all
solver = "glucose-syrup" # Default solver
Code: Select all
solver = "glucose-syrup" # Default solver
Okay I'll test that and report on the results I find.Macbi wrote:I think I found plingeling was the fastest version, but you may want to test that.
I tried ./lls -p 3 -x 2 -y 1 -i -m -b 6 6 -r p, which does give a (2,1)c/3, but not the 5-cell one Macbi found.AforAmpere wrote:What would be a search that finds the (2,1)c/3 you found, just to test?
AforAmpere wrote:What would be a search that finds the (2,1)c/3 you found, just to test?
Code: Select all
./lls -p 3 -x 2 -y 1 -i -b 6 6 -r pB1-c2345678/S012345678 --force_at_most 5
You don't need both -i and -m, by the way.Goldtiger997 wrote:I tried ./lls -p 3 -x 2 -y 1 -i -m -b 6 6 -r p, which does give a (2,1)c/3, but not the 5-cell one Macbi found.
It's the one I've been using.Majestas32 wrote:Is the lingeling-bbc-9230380-160707.tar.gz version the right one?
Did you follow these instructions?Majestas32 wrote:lingeling.exe??? Is there supposed to be a lingeling.exe???
If you cd to your folder with lingeling, and do that, the .exe files should be made.Goldtiger997 wrote: Enter "./configure.sh". Enter "make"
Code: Select all
cd /Python/lingeling
Code: Select all
Solving...
Traceback (most recent call last):
File "./lls", line 195, in <module>
indent = indent, verbosity = verbosity
File "/lls/src/LLS.py", line 61, in preprocess_solve_and_postprocess
indent = indent, verbosity = verbosity
File "/lls/src/LLS.py", line 175, in preprocess_and_solve
indent = indent, verbosity = verbosity)
File "/lls/src/LLS.py", line 246, in solve
DIMACS_string, solver=solver, parameters=parameters, timeout=timeout, save_dimacs = save_dimacs, dry_run = dry_run, indent = indent + 1, verbosity = verbosity)
File "/lls/src/LLS_SAT_solvers.py", line 48, in SAT_solve
solution, time_taken = use_solver(solver, dimacs_file, parameters = parameters, timeout = timeout, indent = indent, verbosity = verbosity)
File "/lls/src/LLS_SAT_solvers.py", line 86, in use_solver
stdout=subprocess.PIPE, stdin=subprocess.PIPE, stderr=subprocess.PIPE)
File "/usr/lib/python2.7/subprocess.py", line 390, in __init__
errread, errwrite)
File "/usr/lib/python2.7/subprocess.py", line 1025, in _execute_child
raise child_exception
OSError: [Errno 2] No such file or directory
I had this problem before.Majestas32 wrote:I get this error:...