Index of /current_tree/CA/GoL
Name Last modified Size Description
Parent Directory -
GoL.nb 2020-07-05 19:43 326K
reverse.tex 2021-03-19 21:25 15K
still.tex 2021-07-02 15:53 10K
GoL_SAT_utils.py 2021-01-30 13:05 8.3K
SL_common.py 2020-07-05 19:43 4.4K
eden.py 2022-02-18 01:15 3.0K
SL3.py 2020-07-05 19:43 2.9K
reverse2.py 2020-07-05 19:43 2.9K
SL2.py 2020-07-05 19:43 2.6K
SL1.py 2020-07-05 19:43 2.2K
SL_MaxSAT.py 2024-02-23 12:31 1.8K
reverse1.py 2020-07-05 19:43 1.5K
main.tex 2021-03-19 21:25 501
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443