From f5b988aead99a9229eb51f6ba463fc7e49a863ca Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 28 Aug 2013 22:15:16 -0700 Subject: [PATCH] update README Signed-off-by: Nikolaj Bjorner --- src/muz/README | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/muz/README b/src/muz/README index 03cd12bc7..c7d5a9665 100644 --- a/src/muz/README +++ b/src/muz/README @@ -1,2 +1,12 @@ muZ: routines related to solving satisfiability of Horn clauses and solving Datalog programs. + +- base - contains base routines and the main context for + maintaining fixedpoint solvers +- transforms - common rule transformations +- rel - relational algebra based Datalog engine +- pdr - PDR based Horn clause solver +- clp - Dart/Symbolic execution-based solver +- tab - Tabulation based solver +- bmc - Bounded model checking based solver +- fp - main exported routines \ No newline at end of file