Logic Life Search

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

Re: Logic Life Search

Post by Macbi » January 29th, 2018, 8:43 pm

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: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 8:46 pm

Yes! Lingeling works! It did a search successfully, which is great.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 8:49 pm

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

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Goldtiger997
Posts: 762
Joined: June 21st, 2016, 8:00 am

Re: Logic Life Search

Post by Goldtiger997 » January 29th, 2018, 8:57 pm

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.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 8:59 pm

So how do you download this on windows? Either minisat or glucose is fine
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 9:02 pm

Download lingeling and follow Goldtiger's instructions, it seems to be the only Cygwin compatible one.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Macbi
Posts: 903
Joined: March 29th, 2009, 4:58 am

Re: Logic Life Search

Post by Macbi » January 29th, 2018, 9:05 pm

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.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 9:13 pm

Is the lingeling-bbc-9230380-160707.tar.gz version the right one?
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

User avatar
Macbi
Posts: 903
Joined: March 29th, 2009, 4:58 am

Re: Logic Life Search

Post by Macbi » January 29th, 2018, 9:21 pm

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

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 9:24 pm

OK so then how do you decompress it
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 9:26 pm

I used 7zip to decompress it, you do it twice, once on the .gz, and once on the tar.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 9:26 pm

And then what do you do with it with Cygwin
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 9:28 pm

Follow Goldtiger's instructions to compile, then put the compiled lingeling in the solvers folder in the LLS file.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 9:30 pm

Ah. Ok. I suppose I should download the lls file then
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 9:34 pm

Ignore this.
Last edited by AforAmpere on January 29th, 2018, 9:42 pm, edited 1 time in total.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 9:39 pm

So this is what the solvers folder should look like right?
Attachments
napkinofbowling.png
napkinofbowling.png (20.99 KiB) Viewed 10140 times
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 9:41 pm

No, just put the lingeling.exe or plingeling.exe in the solvers folder.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 9:42 pm

lingeling.exe??? Is there supposed to be a lingeling.exe???
Attachments
napkinofbowling.png
napkinofbowling.png (87.88 KiB) Viewed 10136 times
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 9:56 pm

Majestas32 wrote:lingeling.exe??? Is there supposed to be a lingeling.exe???
Did you follow these instructions?
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 manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 10:23 pm

So just cd lingeling-bbc-9230380-160707 or do I have to specify the full path?
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 10:27 pm

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 manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 29th, 2018, 10:28 pm

Starting with C:\ ?
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

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

Re: Logic Life Search

Post by AforAmpere » January 29th, 2018, 10:30 pm

Just try putting the lingeling folder in your Cygwin folder, rename to just lingeling and do cd /lingeling, then follow the above instructions.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Logic Life Search

Post by Majestas32 » January 30th, 2018, 12:49 am

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__
    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
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

User avatar
Goldtiger997
Posts: 762
Joined: June 21st, 2016, 8:00 am

Re: Logic Life Search

Post by Goldtiger997 » January 30th, 2018, 1:00 am

Majestas32 wrote:I get this error:...
I had this problem before.
Either you run with "-S lingeling", or change your default solver by doing what Macbi suggested here.
Hope it works now.

Post Reply