Guaranteed finite bags and sets

build.sbt

src/main/scala/inox/ast/DSL.scala

src/main/scala/inox/solvers/SolverFactory.scala

src/main/scala/inox/solvers/theories/BagEncoder.scala

src/main/scala/inox/solvers/theories/package.scala

...main/scala/inox/solvers/unrolling/DatatypeTemplates.scala

src/test/scala/inox/TestContext.scala

src/test/scala/inox/TestSilentReporter.scala

src/test/scala/inox/solvers/GlobalVariablesSuite.scala

src/test/scala/inox/solvers/SolverPoolSuite.scala

src/test/scala/inox/solvers/SolversSuite.scala

src/test/scala/inox/solvers/TimeoutSolverSuite.scala