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: 3
Downloads last week: 7
Downloads last month: 11