z3

Z3 bindings for Racket

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedSunday, May 21st, 2017 5:46:43pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/z3-rkt.git?path=z3/84059a4428454cc6edd57865befaedb1d29dedce
Last checkedSaturday, July 22nd, 2017 5:37:26am (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