Download here: https://github.com/jedlimlx/Logic-Cellu ... ton-Search
Installation
LCAS depends on PySAT and requires Python 3.6 or higher.
If you're on Windows 10 and already have Python 3 installed, run "pip install python-sat" in your cmd.
If you don't already have Python 3 try using WSL.
If that doesn't work (it probably won't) or you are on Linux, go to Windows Subsystems for Linux (if you are on Windows 10)
Run these commands:
Code: Select all
sudo apt-get update
sudo apt-get install python3.6-dev
sudo apt install python3-pip
sudo apt-get install zlib1g-dev
pip3 install python-sat
To use the application, run
Code: Select all
python main.py -p <period> -dx <displace_x> -dy <displace_y> -x <bound_x> -y <bound_y>
Code: Select all
python main.py --help
If there are any issues with installation, let me know, I'll try to help you install it.
The rule format is the same as CAViewer's rule.ca_rule format. You will need to specify a rule file with the relevant rule to run the program. If no rule is specified it defaults to rule.ca_rule.
Features
- Support for alternating HROT rules
- Automatic generation of pattern files for spaceship searches
- Support for C1, D2-, D2|, D4+ symmetry
- Support for Flip| transformation
- Support for Glucose4, Glucose3, Lingeling, Cadical, Minisat and MapleSAT
- Partial rules
- Isotropic Non-Totalistic Rules
- Anisotropic Non-Totalistic Rules
- Multistate Rules
- More symmetries and transformations
- Background generation (Zebra Strips, Chicken Wire)
- Pattern generation for backsearches
Supports alternating HROT rules (B0 can be searched by alternating relevent rules)
You can also alternate between different neighbourhoods and you can alternate as many times as you want.
Speed
Finds the following ship in R2,C2,S2,7,12,B3,8,NN in a 7x7 bounding box in 34s (Cadical), 17s (Minisat), 79s (Glucose4)
Code: Select all
x = 18, y = 16, rule = R2,C2,S2,7,10,B3,8,NN
..................$
..................$
..................$
..................$
..................$
..................$
........o.o.......$
.....oo...oo......$
..................$
.........o........$
..................$
..................$
..................$
..................$
..................$
..................$
Code: Select all
x = 13, y = 15, rule = R2,C2,M0,S6..9,B7..8,NM
.............$
.............$
.............$
.............$
.............$
.............$
.....ooo.....$
....o...o....$
....oo.oo....$
.....ooo.....$
.............$
.............$
.............$
.............$
.............$
Code: Select all
x = 15, y = 17, rule = R2,C2,S2,4,12,B3,8,NN
...............$
...............$
...............$
...............$
...............$
...............$
...............$
.....o...o.....$
.....ooooo.....$
....oo...oo....$
.....oo.oo.....$
...............$
...............$
...............$
...............$
...............$
...............$
!
Code: Select all
x = 10, y = 8, rule = R2,C2,S2-3,B3,N@891891
6b3o$6b3o$6bo2bo$7b3o$2obo3b2o$bob2obo$o2bo$obo!