No commit message

No commit message

src/orderedsets/Main.scala

@@ -7,6 +7,9 @@ import purescala.Trees._
 class Main(reporter: Reporter) extends Solver(reporter) {
   val description = "Solver for constraints on ordered sets"
 
+  // checks for V-A-L-I-D-I-T-Y !
+  // Some(true) means formula is valid (negation is unsat)
+  // None means you don't know.
   def solve(expr: Expr) : Option[Boolean] = {
     reporter.info(expr, "I have no idea how to solve this :(")
     None