pydlinear

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: 32