API for bhklab/RLOBICO
Fast Logical Models Implemented with IBM CPLEX
| Global functions | |
|---|---|
| .getsolution | Man page Source code |
| .showformula | Man page Source code |
| CNF_CPLEX | Man page Source code |
| CNF_CPLEX_weak_pos | Man page Source code |
| CNF_ILP_weak | Man page Source code |
| CNF_ILP_weak_cpp | Source code |
| CNF_ILP_weak_pos | Man page Source code |
| DNF_CPLEX | Man page Source code |
| DNF_CPLEX_weak_pos | Man page Source code |
| DNF_ILP_weak | Man page Source code |
| DNF_ILP_weak_cpp | Source code |
| DNF_ILP_weak_pos | Man page Source code |
| bibw2992 | Man page |
| lobico | Man page Source code |
| solve_by_cplex_cpp | Source code |
