GitHub repository: tenderlove/ricosat
Primary language: C
Created: 2017-02-19T22:18:31Z
Description: A wrapper around PicoSAT for Ruby