Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
lispPackages
cl-smt-lib
package
lisp-cl-smt-lib
Description
SMT object supporting SMT-LIB communication over input and output streams.
Metadata
Install
Version
20211020-git
License
Unknown
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/development/lisp-modules-obsolete/define-package.nix:115
Related
1
(1)
quicklispPackagesClisp.cl-smt-lib