ConwayLife.com

Code: Select all

x = 8, y = 8, rule = B3/S13
3b2o$2bo2bo2$2bo2bo$2bo2bo2$2bo2bo$3b2o!

Code: Select all

./lls -s p8 x0 y0 -c 0 4 -b 8 8 -r B3/S13 -p "=12" -s "D4+" -n 5

Code: Select all

./lls -s p8 x0 y0 -c 1 8 -b 8 8 -r B3/S13 -p "=12" -s "D4+" -n 5

Code: Select all

import golly as g
output=""
convertlist=["0","1","*","0'","1'","*'","a","b","c","d","e","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t"]
rect=g.getselrect()
if len(rect)==0:
	g.exit(message="No selection!")
else:
	for y in range(rect[1],rect[1]+rect[3]):
		for x in range(rect[0],rect[0]+rect[2]):
			if x==rect[0]:
				if y==rect[1]:
					output=str(convertlist[g.getcell(x,y)])
				else:
					output+="\n"+str(convertlist[g.getcell(x,y)])
			else:
				output+=","+str(convertlist[g.getcell(x,y)])

with open("llsmakeroutput.txt","w") as f:
	f.write(output)
g.show('Done!')

Code: Select all

(native) gabefrohaug@MacBook-Pro logic-life-search % ./lls -S kissat -b 12 11 -r pB2a345678/S -s p5 x3 -a p1 -p "<=10"
Getting search pattern...
Done

Preprocessing...
Done

Width: 14
Height: 13
Duration: 6

Number of undetermined cells: 594
Number of variables: 2418
Number of clauses: 309397

x = 14, y = 13, rule = B2acn3ar4-cew5-cknr6-ck78/S
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbobbbb$
bbbbbbbbbobbbb$
bbbbbbbobobbbb$
bbbbbbbobobbbb$
bbbbbbbobobbbb$
bbbbbbbbbobbbb$
bbbbbbbbbobbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb!


Total solver time: 44.02043318748474

Code: Select all

x = 3, y = 7, rule = B2ac3n4cintz5e6i/S
2bo$2bo$obo$obo$obo$2bo$2bo!

Code: Select all

x = 3, y = 7, rule = B2acn3ar4-cew5-cknr6-ck78/S
2bo$2bo$obo$obo$obo$2bo$2bo!

Code: Select all

/home/hotcrystal/logic-life-search/./lls:40: SyntaxWarning: "\ " is an invalid escape sequence. Such sequences will not work in the future. Did you mean "\\ "? A raw string is also an option.
  help="""Impose a symmetry on the pattern Examples: "D4x" enforces reflection symmetry about both axes, "p7" enforces period 7, "p2 RE\ x1" imposes the glide-reflect symmetry of a glider."""