Skip to content

1.0

Choose a tag to compare

View all tags
@sambayless sambayless released this 23 Jan 20:11
· 905 commits to master since this release
1.0
ed0a57e

First stable MonoSAT release. Includes support for graph predicates, and basic support for convex hull intersections.

Assets 3
Loading