cl-smt-lib

2022-04-01

SMT object supporting SMT-LIB communication over input and output streams

Upstream URL

github.com/GrammaTech/cl-smt-lib

Author

Eric Schulte <eschulte@grammatech.com>

License

BSD-3-Clause
README

cl-smt-lib

SMT object supporting SMT-LIB communication over input and output streams

Version:
1.0.0
License:
BSD-3-Clause
Authors:
Eric Schulte <eschulte@grammatech.com>
Defsystem Dependencies:
  • asdf-package-system

Dependencies:
  • cl-smt-lib/cl-smt-lib

cl-smt-lib/cl-smt-lib

Dependencies:
  • cl-smt-lib/process-two-way-stream

  • common-lisp

  • named-readtables

  • uiop/launch-program

cl-smt-lib/fundamental-two-way-stream

Dependencies:
  • cl

  • trivial-gray-streams

cl-smt-lib/process-two-way-stream

Dependencies:
  • cl

  • cl-smt-lib/fundamental-two-way-stream

  • uiop/launch-program

Dependencies (4)

  • asdf-package-system
  • named-readtables
  • trivial-gray-streams
  • uiop

Dependents (0)

    • GitHub
    • Quicklisp