RubyGems Navigation menu

ravensat 1.1.1

An interface to the SAT solver for Ruby

Gemfile:
=

install:
=

Versions:

  1. 1.1.1 November 07, 2022 (81 KB)
  2. 1.1.0 November 07, 2022 (81 KB)
  3. 1.0.9 August 25, 2022 (80.5 KB)
  4. 1.0.8 August 23, 2022 (80.5 KB)
  5. 1.0.7 August 23, 2022 (80.5 KB)
Show all versions (19 total)

Owners:

Pushed by:

Authors:

  • rikuto matsuda

SHA 256 checksum:

=

Total downloads 13,375

For this version 647

Version Released:

License:

MIT

Required Ruby Version: >= 2.4.0

Links: