(
(
(
Racket
)
)
)
Need Help?
About
Download
Documentation
PLaneT
Community
Learning
PLaneT
>
ianj
View packages: [4.x] |
3xx
[
contribute a package / log in
]
Packages
Name
PLaneT
Version
External
Version
Owner
Description
smt-solver.plt
(1 3)
0.1
ianj
An implementation of the DPLL(T) framework.
smt_solver.plt
(1 0)
0.1
ianj
An implementation of the DPLL(T) framework.
Open tickets
No open tickets.
![[logo]](/logo.png){kind=logo}