Update picus v2 solver allowed values

Author: mkonstant

audithub_client/scripts/start_picus_v2_task.py

@@ -25,7 +25,7 @@ def start_picus_v2_task(
     project_id: ProjectIdType,
     version_id: VersionIdType,
     name: Optional[str] = None,
-    solver: Optional[Literal["cvc5", "cvc5-int", "z3", "multi-solver"]] = None,
+    solver: Optional[Literal["cvc5", "cvc5-ff-int", "z3", "multi-solver"]] = None,
     solver_timeout: Optional[int] = None,
     time_limit: Optional[int] = None,
     assume_deterministic: Optional[list[str]] = None,
@@ -47,10 +47,9 @@ def start_picus_v2_task(
     solver:
         Specifies the solver to use.
         cvc5 indicates the finite field solver,
-        cvc5-int is a fork of the finite field solver which supports mixed reasoning,
-        multi-solver indicates using both cvc5 and cvc5-int,
+        cvc5-ff-int is a fork of the finite field solver which supports mixed reasoning,
+        multi-solver indicates using both cvc5 and cvc5-ff-int,
         and z3 is the z3 integer solver.
-        Defaults to "cvc5-int" if no value is specified.
 
     solver_timeout:
         Timeout set for each solver query, in milliseconds (default: 5000 ms).

pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "audithub-client"
-version = "1.1.10"
+version = "1.1.11"
 description = "A Python client that can access Veridise AuditHub via its REST API, providing CLI access"
 authors = ["Nikos Chondros <nikos@veridise.com>"]
 license = "AGPLv3"