1 | 48,509 | 35,920 | prop_logic | Write propositional logic formulae using Ruby DSL. |
2 | 72,606 | 53,556 | bit_utils | Utility methods for manipulating bits within Integer. |
3 | 87,830 | 86,038 | bit_counter | Calculate bit count (popcount, Hamming weight) faster in many environments (deprecated). |
4 | 96,686 | 86,038 | function_module | Methods for handling module functions |
5 | 117,659 | 86,038 | prop_logic-minisat | Minisat binding for PropLogic |
6 | 145,972 | 86,038 | prop_logic-sat4j | Sat4j bindings for prop_logic |
7 | 153,801 | 86,038 | extensible_attr_accessor | attr_xxx extension accepting blocks. |
8 | 154,038 | 53,556 | get_frozen | Get a copy of 'frozen' objects or already frozen one in a simple manner. |