https://github.com/mkarppa/reduce
Tip revision: 3e17245b11636d81f483fdaa53a461eda7a6e1d7 authored by Matti Karppa on 09 May 2018, 09:49:12 UTC
Updated LICENSE
Updated LICENSE
Tip revision: 3e17245
| File | Mode | Size |
|---|---|---|
| A000088_8.g | -rw-r--r-- | 1.1 KB |
| CNF.cpp | -rw-r--r-- | 2.6 KB |
| CNF.hpp | -rw-r--r-- | 1.7 KB |
| ConflictChecker.cpp | -rw-r--r-- | 1.0 KB |
| ConflictChecker.hpp | -rw-r--r-- | 727 bytes |
| Graph.cpp | -rw-r--r-- | 14.2 KB |
| Graph.hpp | -rw-r--r-- | 4.5 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| Makefile | -rw-r--r-- | 765 bytes |
| Permutation.cpp | -rw-r--r-- | 1.5 KB |
| Permutation.hpp | -rw-r--r-- | 924 bytes |
| README.md | -rw-r--r-- | 5.4 KB |
| Reducer.cpp | -rw-r--r-- | 24.8 KB |
| Reducer.hpp | -rw-r--r-- | 3.8 KB |
| Stack.cpp | -rw-r--r-- | 4.3 KB |
| Stack.hpp | -rw-r--r-- | 3.2 KB |
| VariableMapping.cpp | -rw-r--r-- | 4.6 KB |
| VariableMapping.hpp | -rw-r--r-- | 2.2 KB |
| bpm65.cnf | -rw-r--r-- | 1.8 KB |
| common.cpp | -rw-r--r-- | 2.3 KB |
| common.hpp | -rw-r--r-- | 1.3 KB |
| mm2227.cnf+g | -rw-r--r-- | 102.7 KB |
| mpiaux.cpp | -rw-r--r-- | 3.8 KB |
| mpiaux.hpp | -rw-r--r-- | 1018 bytes |
| reduce.cpp | -rw-r--r-- | 16.3 KB |
