## Logic Life Search

For scripts to aid with computation or simulation in cellular automata.
Macbi
Posts: 713
Joined: March 29th, 2009, 4:58 am

### Re: Logic Life Search

Fantastic! If you want to change the default solver for your copy of LLS it's the line

Code: Select all

``solver = "glucose-syrup"  # Default solver``
in LLS_SAT_solvers.py. I think I found plingeling was the fastest version, but you may want to test that.

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

Yes! Lingeling works! It did a search successfully, which is great.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

What would be a search that finds the (2,1)c/3 you found, just to test?
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Goldtiger997
Posts: 570
Joined: June 21st, 2016, 8:00 am

### Re: Logic Life Search

Macbi wrote:I think I found plingeling was the fastest version, but you may want to test that.
Okay I'll test that and report on the results I find.
AforAmpere wrote:What would be a search that finds the (2,1)c/3 you found, just to test?
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.

Edit: This thread is getting pretty clogged up, so I'll just edit this in.
For the above search, lingeling took 0.302 seconds, plingeling took 0.799 seconds, and treengeling took 0.841 seconds.
Last edited by Goldtiger997 on January 29th, 2018, 9:05 pm, edited 1 time in total.

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

So how do you download this on windows? Either minisat or glucose is fine

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Macbi
Posts: 713
Joined: March 29th, 2009, 4:58 am

### Re: Logic Life Search

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``
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.
You don't need both -i and -m, by the way.

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

Is the lingeling-bbc-9230380-160707.tar.gz version the right one?

Macbi
Posts: 713
Joined: March 29th, 2009, 4:58 am

### Re: Logic Life Search

Majestas32 wrote:Is the lingeling-bbc-9230380-160707.tar.gz version the right one?
It's the one I've been using.

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

OK so then how do you decompress it

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

I used 7zip to decompress it, you do it twice, once on the .gz, and once on the tar.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

And then what do you do with it with Cygwin

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

Follow Goldtiger's instructions to compile, then put the compiled lingeling in the solvers folder in the LLS file.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

Ignore this.
Last edited by AforAmpere on January 29th, 2018, 9:42 pm, edited 1 time in total.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

So this is what the solvers folder should look like right?
Attachments
napkinofbowling.png (20.99 KiB) Viewed 4910 times

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

No, just put the lingeling.exe or plingeling.exe in the solvers folder.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

lingeling.exe??? Is there supposed to be a lingeling.exe???
Attachments
napkinofbowling.png (87.88 KiB) Viewed 4906 times

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

Majestas32 wrote:lingeling.exe??? Is there supposed to be a lingeling.exe???
Goldtiger997 wrote: Enter "./configure.sh". Enter "make"
If you cd to your folder with lingeling, and do that, the .exe files should be made.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

So just cd lingeling-bbc-9230380-160707 or do I have to specify the full path?

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

Full path, in the Cygwin command line. Well, full path inside Cygwin. I did:

Code: Select all

``cd /Python/lingeling``
I had put LIngeling inside the Cygwin folder in a Python subfolder.
Last edited by AforAmpere on January 29th, 2018, 10:29 pm, edited 1 time in total.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

Starting with C:\ ?

AforAmpere
Posts: 1077
Joined: July 1st, 2016, 3:58 pm

### Re: Logic Life Search

Just try putting the lingeling folder in your Cygwin folder, rename to just lingeling and do cd /lingeling, then follow the above instructions.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

Majestas32
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

### Re: Logic Life Search

I get this error:

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__
File "/usr/lib/python2.7/subprocess.py", line 1025, in _execute_child
raise child_exception
OSError: [Errno 2] No such file or directory
``````