v2.0.2b

update Docker installation for new Debian bookworm; various formatting fixes (using Copilot)

Full Changelog: v2.0.2a...v2.0.2b

v2.0.2a

clean up, rename vars

v2.0.2

remove Ocaml/Cil dependency

V2.0.1

mainly fix Dockerbuild issue

V2.0 released

Support congruence relations , arary relations, and many small optimizations and fixes. Accumulation of many months of work since the last release

v1.0.0

Stable release with Sympy, Nested Array Relations, and Congruence Relation support