Popularity
7.0
Stable
Activity
0.0
Stable
14
4
6
Monthly Downloads: 13
Programming language: Haskell
License: GNU General Public License v3.0 only
Latest version: v1.0
smtlib2 alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view smtlib2 alternatives based on common mentions on social networks and blogs.
-
theoremquest
A common library for TheoremQuest, a theorem proving game.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com
Do you think we are missing an alternative of smtlib2 or a related project?