Skip to content

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

Commits

Commits on Feb 2, 2022

Commits on Feb 3, 2022

Commits on Feb 8, 2022

Commits on Feb 10, 2022