An interface to the SAT solver for Ruby

Required Ruby Version

>= 2.4.0

Authors

rikuto matsuda

Versions

  1. 1.1.1

    1. source

      1. 1.1.1 source November 07, 2022 (81 KB)
  2. 1.1.0

    1. source

      1. 1.1.0 source November 07, 2022 (81 KB)
  3. 1.0.9

    1. source

      1. 1.0.9 source August 25, 2022 (80.5 KB)
  4. 1.0.8

    1. source

      1. 1.0.8 source August 23, 2022 (80.5 KB)
  5. 1.0.7

    1. source

      1. 1.0.7 source August 23, 2022 (80.5 KB)
Show all versions (19 total)

Pushed by

matsuda0528

SHA 256 checksum

← Previous version