Jkr_2255's Gems

icon
#Total RankDaily RankNameSummary
148,58561,367prop_logicWrite propositional logic formulae using Ruby DSL.
272,50261,367bit_utilsUtility methods for manipulating bits within Integer.
387,86761,367bit_counterCalculate bit count (popcount, Hamming weight) faster in many environments (deprecated).
496,60061,367function_moduleMethods for handling module functions
5117,79461,367prop_logic-minisatMinisat binding for PropLogic
6146,19261,367prop_logic-sat4jSat4j bindings for prop_logic
7153,93061,367extensible_attr_accessorattr_xxx extension accepting blocks.
8154,20561,367get_frozenGet a copy of 'frozen' objects or already frozen one in a simple manner.