Andrew Reynolds 00e19fdbe2 Minor improvements to difficulty manager (#9510) ...

We now track difficulty on lemmas themselves, which can potentially used as a heuristic for measuring the usefulness of lemmas.

This also makes it so that all literals in lemmas are used for incrementing difficulty.

2023-03-08 21:36:44 +00:00

..

__init__.py

Reorganize test/unit/api directory. (#7612)

2021-11-10 00:08:29 +00:00

CMakeLists.txt

Fixed CI actions on macOS. (#9448)

2023-01-24 19:01:36 +00:00

test_datatype_api.py

Add test coverage for almost everything from the Python API (#8720)

2022-05-05 20:54:48 +00:00

test_finite_field.py

fix ff coverage (#9381)

2023-01-05 15:43:49 -06:00

test_grammar.py

Add test coverage for almost everything from the Python API (#8720)

2022-05-05 20:54:48 +00:00

test_op.py

Add rel.project operator to sets (#8929)

2022-07-06 21:02:23 +00:00

test_result.py

Add some missing API tests (#8669)

2022-04-29 00:47:10 +00:00

test_solver.py

Minor improvements to difficulty manager (#9510)

2023-03-08 21:36:44 +00:00

test_sort.py

Add infrastructure and API for abstract sorts (#9263)

2023-01-17 19:37:10 +00:00

test_synth_result.py

Allow SyGuS solver to answer infeasible (#9196)

2022-10-13 15:56:55 +00:00

test_term.py

Use assertions instead of (Pretty)CheckArgument in expr and smt. (#9065)

2022-08-23 09:07:29 -05:00

test_to_python_obj.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

test_uncovered.cpp

Add tests for uncovered API methods for abstract sorts (#9430)

2023-01-20 19:17:50 +00:00