Categories: None [Edit]

ruby-minisat

ruby binding for MiniSat, an open-source SAT solver

Ranking: 63,614 of 186,961

Downloads: 15,589

Ranking: 110,181 of 186,954

Downloads: 5

Rank	Downloads	Name
41,714	27,607	sciruby-full
119,275	5,510	prop_logic-minisat

Rank	Downloads	Name
1	2,938,589,681	bundler
10	1,140,169,777	rake

#	Gravatar	Handle
1		mame