dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.