https://github.com/davidsusu/jsatbuilder
SAT formula builder with constraint dependency tracking written in Java
https://github.com/davidsusu/jsatbuilder
constraint-programming constraint-propagation dependency-tracker java library sat-solver-application
Last synced: 3 months ago
JSON representation
SAT formula builder with constraint dependency tracking written in Java
- Host: GitHub
- URL: https://github.com/davidsusu/jsatbuilder
- Owner: davidsusu
- License: apache-2.0
- Created: 2017-06-02T18:38:57.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2023-09-02T00:37:31.000Z (over 2 years ago)
- Last Synced: 2023-09-03T01:51:42.267Z (over 2 years ago)
- Topics: constraint-programming, constraint-propagation, dependency-tracker, java, library, sat-solver-application
- Language: Java
- Homepage:
- Size: 731 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE