Jkr_2255's Gems

icon
#Total RankDaily RankNameSummary
149,15827,823prop_logicWrite propositional logic formulae using Ruby DSL.
271,784150,178bit_utilsUtility methods for manipulating bits within Integer.
389,240150,178bit_counterCalculate bit count (popcount, Hamming weight) faster in many environments (deprecated).
494,409104,290function_moduleMethods for handling module functions
5119,24578,158prop_logic-minisatMinisat binding for PropLogic
6148,467150,178prop_logic-sat4jSat4j bindings for prop_logic
7155,833128,565extensible_attr_accessorattr_xxx extension accepting blocks.
8156,119150,178get_frozenGet a copy of 'frozen' objects or already frozen one in a simple manner.