https://github.com/dwarfmaster/cdcl_sat_solver
New heuristic for MiniSAT, specific for solving HIPP problems
https://github.com/dwarfmaster/cdcl_sat_solver
Last synced: 12 months ago
JSON representation
New heuristic for MiniSAT, specific for solving HIPP problems
- Host: GitHub
- URL: https://github.com/dwarfmaster/cdcl_sat_solver
- Owner: dwarfmaster
- Created: 2016-02-07T20:42:26.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-06-06T19:57:22.000Z (about 10 years ago)
- Last Synced: 2025-04-01T01:54:03.118Z (about 1 year ago)
- Language: C++
- Homepage:
- Size: 2.77 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: