grisette-0.1.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2021-2023
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette

Description

 
Synopsis

Core modules

module Grisette.Core

Core libraries

module Grisette.Lib.Base

module Grisette.Lib.Mtl

Symbolic primitives

module Grisette.IR.SymPrim

Solver backend

module Grisette.Backend.SBV