Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://gitlab.com/HenryKautz/Walksat
Boolean satisfiability testing by local search.
https://gitlab.com/HenryKautz/Walksat
Last synced: 20 days ago
JSON representation
Boolean satisfiability testing by local search.
- Host: gitlab.com
- URL: https://gitlab.com/HenryKautz/Walksat
- Owner: HenryKautz
- License: mit
- Created: 2018-02-22T19:31:06.637Z (almost 7 years ago)
- Default Branch: master
- Last Synced: 2024-10-01T06:04:26.281Z (5 months ago)
- Stars: 0
- Forks: 2
- Open Issues: 0
Awesome Lists containing this project
- awesome-sat-solvers - code