https://gitlab.com/HenryKautz/Walksat

Boolean satisfiability testing by local search.
https://gitlab.com/HenryKautz/Walksat

Last synced: 4 months 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 (over 7 years ago)
• Default Branch: master
• Last Synced: 2024-10-01T06:04:26.281Z (8 months ago)
• Stars: 0
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project

• awesome-sat-solvers - code