An interface to the SAT solver for Ruby
Required Ruby Version
>= 2.4.0
Authors
rikuto matsuda
Versions
- 1.1.1 November 07, 2022 (81 KB)
- 1.1.0 November 07, 2022 (81 KB)
- 1.0.9 August 25, 2022 (80.5 KB)
- 1.0.8 August 23, 2022 (80.5 KB)
- 1.0.7 August 23, 2022 (80.5 KB)
- 0.2.2 May 16, 2022 (10 KB)
