z3

Z3 bindings for Racket

Build status: ok failing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedSaturday, May 11th, 2019 8:29:59pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/z3-rkt.git?path=z3/78deda2c7a377b93caefd40fd16e5df9c6d53c40
Last checkedMonday, December 2nd, 2024 3:50:42pm (UTC)
Last editedFriday, September 2nd, 2016 5:50:10pm (UTC)
Date addedN/A
Modules
  • z3/main.rkt
  • z3/smt/primitives.rkt
  • z3/smt.rkt
  • z3/smt/main.rkt
  • z3/tests/guide.rkt
  • z3/smt/commands.rkt
  • z3/smt/private.rkt
  • z3/ffi.rkt
  • z3/ffi/define-ffi.rkt
  • z3/ffi/ffi-typed.rkt
  • z3/ffi/main.rkt
  • z3/ffi/ffi.rkt