version number

Author: pruemmer

build.sbt

@@ -2,7 +2,7 @@
 lazy val commonSettings = Seq(
     name                 := "Princess",
     organization         := "uuverifiers",
-    version              := "unstable-SNAPSHOT",
+    version              := "2022-07-01",
     homepage             := Some(url("https://philipp.ruemmer.org/princess.shtml")),
     licenses             := Seq("BSD-3-Clause" -> url("https://opensource.org/licenses/BSD-3-Clause")),
     scmInfo              := Some(ScmInfo(

src/ap/CmdlMain.scala

@@ -50,7 +50,7 @@ import ap.util.{Debug, Seqs, Timeout}
 
 object CmdlMain {
 
-  val version = "unstable build"
+  val version = "2022-07-01"
 
   /**
    * Flag to enable stack traces being fully printed, for problems

src/ap/proof/tree/RandomDataSource.scala

@@ -3,7 +3,7 @@
  * arithmetic with uninterpreted predicates.
  * <http://www.philipp.ruemmer.org/princess.shtml>
  *
- * Copyright (C) 2017 Philipp Ruemmer <[email protected]>
+ * Copyright (C) 2017-2022 Philipp Ruemmer <[email protected]>
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are met:
@@ -63,6 +63,12 @@ abstract class RandomDataSource {
    */
   def nextInt(bound : Int) : Int
 
+  /**
+   * Pick a random elements of the given sequence.
+   */
+  def pick[A](objects : IndexedSeq[A]) : A =
+    objects(nextInt(objects.size))
+
   /**
    * Shuffle the given sequence
    */
@@ -79,6 +85,15 @@ abstract class RandomDataSource {
       }
     }
 
+  /**
+   * Shuffle the given sequence
+   */
+  def shuffleSeq[A](seq : Seq[A]) : Seq[A] = {
+    val buf = seq.toBuffer
+    shuffle(buf)
+    buf.toIndexedSeq
+  }
+
   /**
    * Shuffle the given sequence, and return the new ordering
    */