#lang setup/infotab
(define name "SMT-solver")
(define blurb
  (list "An implementation of the DPLL(T) framework."))
(define scribblings '(["scribblings/smt-solver.scrbl" (multi-page)]))
(define categories '(devtools misc))
(define primary-file "smt-solve.rkt")
(define compile-omit-paths '())
(define repositories '("4.x"))

(define release-notes '((p "0.2 (1 1) - Second release. The core
  solver now supports clause forgetting and random restarts. The
  interface had been changed slightly to take a random seed.") 
 (p "0.1 (1 0) - First release")))

(define required-core-version "4.0")
(define version "0.1")