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

..

api

Move public headers into top-level include directory. (#9555)

2023-03-07 23:39:29 +00:00

binary

Enable flex smt2 parser by default (#9499)

2023-03-01 17:39:32 +00:00

regress

Fix ref count for literals used in difficulty manager (#9551)

2023-03-07 18:16:18 +00:00

unit

Minor improvements to difficulty manager (#9510)

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

CMakeLists.txt

Update copyright headers for release 1.0 (#8539)

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