mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-25 13:47:01 +00:00
Code Activity

remove component dependency on bigfix

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-12-05 12:56:00 -08:00
parent 8b875f33db
commit 2b673bcb48
2 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/polysat/CMakeLists.txt
View file

@ -32,7 +32,6 @@ z3_add_component(polysat
viable.cpp viable.cpp
viable_fallback.cpp viable_fallback.cpp
COMPONENT_DEPENDENCIES COMPONENT_DEPENDENCIES
bigfix
dd dd
euf euf
interval interval

2
src/math/polysat/clause.h
View file

@ -24,7 +24,7 @@ namespace polysat {
// NB code review: // NB code review:
// right, ref-count is unlikely the right mechanism. // right, ref-count is unlikely the right mechanism.
// In the SAT solver all clauses are managed in one arena (auxiliarary and redundant) // In the SAT solver all clauses are managed in one arena (auxiliarary and redundant)
// and deleted when they exist the arena. // and deleted when they exit the arena.
// //
class clause { class clause {
public: public: