| To load: | (require (planet ianj/smt_solver:1:0/smt-solve)) |
| Old style: | (require (planet "smt-solve.rkt" ("ianj" "smt_solver.plt" 1 0))) |
| Min Racket version: | 4.0 |
| Package description: | An implementation of the DPLL(T) framework. |
| Downloads this week: | 0 |
| Total downloads: | 0 |
| Tickets: | 0 |
| Open tickets: | 0 |
| Primary files: | [no interface available] |
| Current version |
| PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
| (1 0) | 0.1 | [browse] | 0 | [docs] | 4.0 | 2010-12-13 |
| To load: (require (planet ianj/smt_solver:1:0/smt-solve)) | ||||||
| Available in repositories: 4.x | ||||||
0.1 (1 0) - first release | ||||||
![[logo]](/logo.png){kind=logo}