Categories: None [Edit]

ruby-minisat

ruby binding for MiniSat, an open-source SAT solver

Ranking: 63,196 of 187,267

Downloads: 15,927

Ranking: 16,768 of 187,255

Downloads: 25

Rank	Downloads	Name
41,703	27,925	sciruby-full
119,705	5,538	prop_logic-minisat

Rank	Downloads	Name
1	2,974,801,296	bundler
10	1,152,586,541	rake

#	Gravatar	Handle
1		mame