sat
A SAT solver written in Nim.
Summary
| Latest Version | 0.1.1 |
|---|---|
| License | MIT |
| CI Status | Failing |
| Downloads | 0 |
| Last Indexed | 2026-07-21 05:26 |
Tags
Authors
- Araq
Installation
nimble install sat
choosenim install sat
git clone https://github.com/nim-lang/sat
OS Compatibility
| Platform | Linux | macOS | Windows | FreeBSD | OpenBSD | NetBSD | Android | iOS | WASM | Embedded |
|---|---|---|---|---|---|---|---|---|---|---|
| sat | ✓ | ✓ | ✓ | - | - | - | - | - | - | - |
Dependencies
| Package | Version | Optional |
|---|---|---|
| nim >= | 1.6.0 | No |
Source
| Repository | https://github.com/nim-lang/sat |
|---|---|
| Homepage | https://github.com/nim-lang/sat |
| Registry Source | nimble_official |
README
sat
A SAT solver written in 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)