Add access to builtin special relations (Context::mkLinearOrder
and Context::mkPartialOrder
) to Java API#5832
Merged
NikolajBjorner merged 4 commits intoZ3Prover:masterfrom mbergen:masterFeb 16, 2022
+31
Commits
Commits on Feb 2, 2022
- committed
Commits on Feb 3, 2022
Commits on Feb 8, 2022
- committed
Commits on Feb 10, 2022
- committed