https://github.com/dpsanders/simplesatsolver.jl

https://github.com/dpsanders/simplesatsolver.jl

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/dpsanders/simplesatsolver.jl
• Owner: dpsanders
• License: mit
• Created: 2020-12-19T17:32:18.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2021-01-05T21:33:11.000Z (almost 5 years ago)
• Last Synced: 2025-04-23T00:31:49.249Z (8 months ago)
• Language: Julia
• Homepage:
• Size: 43 KB
• Stars: 6
• Watchers: 2
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# SimpleSATSolver

A (very) simple SAT solver in pure Julia.