Categories: None [Edit]

ruby-minisat

ruby binding for MiniSat, an open-source SAT solver

Ranking: 61,987 of 180,530

Downloads: 14,363

Ranking: 95,592 of 180,517

Downloads: 0

Rank	Downloads	Name
40,902	24,989	sciruby-full
116,820	5,067	prop_logic-minisat

Rank	Downloads	Name
1	2,085,401,074	bundler
16	856,643,623	rake

#	Gravatar	Handle
1		mame