z3

Z3 bindings for Racket

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 5:02:16pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/z3-rkt.git?path=z3/84059a4428454cc6edd57865befaedb1d29dedce
Last checkedFriday, November 17th, 2017 5:03:46pm (UTC)
Last editedFriday, September 2nd, 2016 5:50:10pm (UTC)
Modules
  • z3/smt/primitives.rkt
  • z3/smt.rkt
  • z3/ffi/ffi.rkt
  • z3/tests/guide.rkt
  • z3/ffi/ffi-typed.rkt
  • z3/smt/commands.rkt
  • z3/main.rkt
  • z3/ffi/define-ffi.rkt
  • z3/ffi/main.rkt
  • z3/ffi.rkt
  • z3/smt/main.rkt
  • z3/smt/private.rkt