Commit Graph

3 Commits

Author SHA1 Message Date
Laurent Perron
db0c467e03 new example: pell equation 2024-07-22 11:30:12 +02:00
Laurent Perron
38a4b5421a selecting a subset of pieces 2024-03-22 14:42:10 +01:00
Laurent Perron
2be27426e3 new pentominoes_sat.py example 2024-03-22 13:57:02 +01:00