Thomas Hader 3410dd348b Remove test when libpoly is not present. (#12250) ...

Fixes #12244

Co-authored-by: Thomas Hader <tom@hader.email>

2025-11-25 22:46:04 +00:00

..

arith_poly_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

CMakeLists.txt

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

evaluator_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

logic_info_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

regexp_operation_black.cpp

Update copyright headers, add missing header documentation. (#11990)

2025-06-18 19:41:07 +00:00

sequences_rewriter_white.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

strings_rewriter_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_arith_coverings_white.cpp

Update copyright headers, add missing header documentation. (#11990)

2025-06-18 19:41:07 +00:00

theory_arith_pow2_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_arith_rewriter_black.cpp

Remove test when libpoly is not present. (#12250)

2025-11-25 22:46:04 +00:00

theory_arith_white.cpp

Add Piand Solver Header (#12211)

2025-11-05 14:51:00 +00:00

theory_bags_normal_form_white.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

theory_bags_rewriter_white.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

theory_bags_type_rules_white.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

theory_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_bv_black.cpp

Add missing mapping for BITVECTOR_NEGO from internal to external (#12086)

2025-08-22 19:36:22 +00:00

theory_bv_int_blaster_white.cpp

Fully support standard SMT-LIB syntax for bitvector conversions (#11801)

2025-04-10 21:51:47 +00:00

theory_engine_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_ff_core_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_ff_multi_roots_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_ff_parse_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_ff_split_gb_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_ff_uni_roots_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_quantifiers_bv_instantiator_white.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

theory_quantifiers_bv_inverter_white.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

theory_sets_rewriter_white.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

theory_sets_type_enumerator_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_sets_type_rules_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_strings_skolem_cache_black.cpp

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

theory_strings_utils_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_strings_word_white.cpp

Introduce a primative string utility Word::hasOverlap (#11579)

2025-01-31 14:23:32 +00:00

theory_uf_ho_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

theory_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

type_enumerator_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00