z3/src/math/grobner/CMakeLists.txt at 3a34995b036a8dbf15dad8b346449f36996ee48b - mirrors/z3 - Libre-Chip.org

mirrors/z3

mirror of https://github.com/Z3Prover/z3 synced 2025-08-19 09:40:20 +00:00

Nikolaj Bjorner 1d0572354b add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

2020-01-01 20:14:20 -08:00

10 lines

147 B

CMake

Raw Blame History

 z3_add_component(grobner
   SOURCES
     grobner.cpp
     pdd_simplifier.cpp
     pdd_solver.cpp
   COMPONENT_DEPENDENCIES
     ast
     dd
     simplex
 )