Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: hackage: smtlib-backends-z3


2 versions
Latest release: about 1 year ago
116 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/smtlib-backends-z3

Dependent Repos 1

ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
  • >=0.3 liquid-fixpoint.cabal

Size: 5.39 MB - Last synced: 5 days ago - Pushed: 11 days ago

nilehmann/liquid-fixpoint Fork of ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
  • >=0.3 liquid-fixpoint.cabal

Size: 4.81 MB - Last synced: 8 months ago - Pushed: 8 months ago

tweag/smtlib-backends
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
  • * smtlib-backends-z3/smtlib-backends-z3.cabal

Size: 197 KB - Last synced: 3 months ago - Pushed: 3 months ago