|
Name |
|
Date |
Size |
#Lines |
LOC |
| .. | | 03-May-2022 | - |
| base/ | H | 03-May-2022 | - | 8,307 | 6,045 |
| bmc/ | H | 03-May-2022 | - | 1,650 | 1,387 |
| clp/ | H | 03-May-2022 | - | 271 | 200 |
| dataflow/ | H | 03-May-2022 | - | 359 | 241 |
| ddnf/ | H | 03-May-2022 | - | 965 | 801 |
| fp/ | H | 03-May-2022 | - | 2,694 | 2,167 |
| rel/ | H | 03-May-2022 | - | 27,928 | 21,449 |
| spacer/ | H | 03-May-2022 | - | 19,146 | 13,997 |
| tab/ | H | 03-May-2022 | - | 1,707 | 1,464 |
| transforms/ | H | 03-May-2022 | - | 9,623 | 6,688 |
| README | H A D | 18-Nov-2021 | 473 | 13 | 11 |
README
1muZ: routines related to solving satisfiability of Horn clauses and
2solving Datalog programs.
3
4- base - contains base routines and the main context for
5 maintaining fixedpoint solvers
6- transforms - common rule transformations
7- rel - relational algebra based Datalog engine
8- pdr - PDR based Horn clause solver
9- clp - Dart/Symbolic execution-based solver
10- tab - Tabulation based solver
11- bmc - Bounded model checking based solver
12- fp - main exported routines
13