Name: ricosat

Project URL: https://github.com/tenderlove/ricosat

Rubygems URL: ricosat

Seattle.rb Contributors: 1

Description:

RicoSAT is a wrapper around [PicoSAT](fmv.jku.at/picosat/). It lets you use the PicoSAT solver from Ruby!

Last Update: 2026-03-17 00:46:20 UTC