z3

Z3 bindings for Racket

Build status: ok failing tests missing license metadata

README Download
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 checkedFriday, April 19th, 2024 12:43:01pm (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