https://github.com/nim-lang/sat

A SAT solver written in Nim
https://github.com/nim-lang/sat

nim sat

Last synced: over 1 year ago
JSON representation

A SAT solver written in Nim

• Host: GitHub
• URL: https://github.com/nim-lang/sat
• Owner: nim-lang
• License: mit
• Created: 2024-03-05T11:50:35.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2024-03-27T09:46:49.000Z (over 2 years ago)
• Last Synced: 2025-03-23T18:43:00.268Z (over 1 year ago)
• Topics: nim, sat
• Language: Nim
• Homepage:
• Size: 19.5 KB
• Stars: 13
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# sat

A SAT solver written in Nim.

```nim

import sat/[sat, satvars]

```

Note:

  Remember that even though SAT claims to support the OR operator, it actually doesn't and only supports it if you use it to build up an implication (A -> B == ~ A | B)