z3

Z3 bindings for Racket

Build status: ok failing tests missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Language familiesRacket
      Last updatedFriday, March 21st, 2025 9:39:45am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Build platformsany platform
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/philnguyen/z3-rkt.git?path=z3/78deda2c7a377b93caefd40fd16e5df9c6d53c40
      Last checkedThursday, June 18th, 2026 8:36:33pm (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