Merge branch 'master' of ssh://github.com-alpavlenko/aimclub/evoguess-ai · aimclub/evoguess-ai@0182f66 · GitHub

Commit

Merge branch 'master' of ssh://github.com-alpavlenko/aimclub/evoguess-ai

Browse files

* 'master' of ssh://github.com-alpavlenko/aimclub/evoguess-ai:
  Fixed p clause count for external solvers

Loading branch information

alpavlenko committed Jun 30, 2024

2 parents 5f16f05 + 613233d commit 0182f66