PyPI page Home page
Author:
Ernesto Casablanca
License:
BSD 3-Clause License
Summary:
delta-complete SMT solver for linear theories over the reals
Latest version:
0.0.1
Downloads last day:
0
Downloads last week:
4
Downloads last month:
17
7-day smoothing