Skip to content

New release of PolyLogicA

Pre-release
Pre-release
Compare
Choose a tag to compare
@vincenzoml vincenzoml released this 25 Apr 07:56
· 56 commits to polyhedra since this release
v0.3-PolyLogicA
978c827

Simplified the definition of reachability

Assets 5