Pierrot 53520cf2d0 Add an optimize test (#1230) ...

We do not check that optimization works with arithmetical expressions
in `maximize` or `minimize`.

(We do it for `ite` and bitvector expressions).

2024-08-30 16:29:37 +02:00

..

adt

Active fpa as default (#1177)

2024-07-24 18:32:32 +02:00

arith

Add an optimize test (#1230)

2024-08-30 16:29:37 +02:00

array

Active fpa as default (#1177)

2024-07-24 18:32:32 +02:00

bitv

feat(BV, Opt): Support bit-vector optimization (#1165)

2024-07-17 10:29:09 +00:00

bool

Complete model (#1019)

2024-01-18 11:02:33 +01:00

issues

Handling error strategy (#853)

2023-10-09 08:20:28 +00:00

records

Active fpa as default (#1177)

2024-07-24 18:32:32 +02:00

uf

Active fpa as default (#1177)

2024-07-24 18:32:32 +02:00

check_sat.models.ae

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

check_sat.models.expected

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

complete_1.models.expected

Complete model (#1019)

2024-01-18 11:02:33 +01:00

complete_1.models.smt2

Complete model (#1019)

2024-01-18 11:02:33 +01:00

complete_2.models.expected

Complete model (#1019)

2024-01-18 11:02:33 +01:00

complete_2.models.smt2

Complete model (#1019)

2024-01-18 11:02:33 +01:00

complete_3.models.expected

Complete model (#1019)

2024-01-18 11:02:33 +01:00

complete_3.models.smt2

Complete model (#1019)

2024-01-18 11:02:33 +01:00