https://github.com/floriancassayre/everydaysat

Solving some puzzles with Cafesat.
https://github.com/floriancassayre/everydaysat

boolean-formulas sat sat-solver scala

Last synced: about 2 months ago
JSON representation

Solving some puzzles with Cafesat.

• Host: GitHub
• URL: https://github.com/floriancassayre/everydaysat
• Owner: FlorianCassayre
• License: mit
• Created: 2018-04-26T21:46:33.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-05-03T19:33:34.000Z (over 6 years ago)
• Last Synced: 2023-02-27T14:56:54.884Z (almost 2 years ago)
• Topics: boolean-formulas, sat, sat-solver, scala
• Language: Scala
• Homepage:
• Size: 479 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project