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

..

api

java: Store JNI library by OS and CPU architecture (#12237)

2025-11-17 16:17:04 +00:00

base

Update copyright headers. (#11561)

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

context

Update copyright headers. (#11561)

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

main

Update copyright headers. (#11561)

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

node

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

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

options

api: Refactor OptionInfo struct to provide option category. (#11931)

2025-06-23 16:54:00 +00:00

parser

Update copyright headers. (#11561)

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

preprocessing

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

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

printer

Update copyright headers. (#11561)

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

proof

Update copyright headers. (#11561)

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

prop

Update copyright headers. (#11561)

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

theory

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

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

util

Add an encapsulation of the optimization query result (#12138)

2025-09-30 18:53:16 +00:00

CMakeLists.txt

Update copyright headers. (#11561)

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

test_api.h

Update copyright headers. (#11561)

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

test_context.h

Update copyright headers. (#11561)

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

test_env.h

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

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

test_node.h

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

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

test_parser.h

Update copyright headers. (#11561)

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

test_smt.h

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

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

test_with_smt_parser.h

Update copyright headers. (#11561)

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

test.h

Update copyright headers. (#11561)

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