A simple, fluent, extensible, and fully customizable library for throwin...
Smart Legal Contracts & Templating System
A modular sat/smt solver with proof output.