SAT Solver based on general CDCL techniques. This solver was coded as part of a second year project at DTU. Written in Xcode 9
Google Test - Unit tests .
RapidJSON - JSON library to output solution in a general format
-
Couldn't load subscription status.
- Fork 0
Groenbech96/SAT
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Satisfiability solver
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published