Categories: None [Edit]

ruby-minisat

ruby binding for MiniSat, an open-source SAT solver

Ranking: 63,417 of 184,814

Downloads: 14,986

Ranking: 46,657 of 184,790

Downloads: 0

Rank	Downloads	Name
41,739	26,376	sciruby-full
118,227	5,346	prop_logic-minisat

Rank	Downloads	Name
1	2,632,115,831	bundler
10	1,026,054,724	rake

#	Gravatar	Handle
1		mame