From fd60827fa2794de24b081342462f3efc9ff3e53a Mon Sep 17 00:00:00 2001 From: Bajczi Levente Date: Mon, 25 Mar 2024 16:14:50 +0100 Subject: [PATCH] Update README.md --- subprojects/solver/solver-javasmt/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/subprojects/solver/solver-javasmt/README.md b/subprojects/solver/solver-javasmt/README.md index d9bdff855a..8f033d7c0f 100644 --- a/subprojects/solver/solver-javasmt/README.md +++ b/subprojects/solver/solver-javasmt/README.md @@ -1,2 +1,2 @@ This project wraps the [JavaSMT solver wrapper](https://github.com/sosy-lab/java-smt) into our common interfaces for solvers (located in the [solver](../solver) project). -Normally, only the factory class should be used from this project to instantiate a new solver and then the common interfaces should be preferred. \ No newline at end of file +Normally, only the factory class should be used from this project to instantiate a new solver and then the common interfaces should be preferred. The [factory](./src/main/java/hu/bme/mit/theta/solver/javasmt/JavaSMTSolverFactory.java) needs a [Solvers](https://github.com/sosy-lab/java-smt/blob/12ceedfa6a8412268f77b8a7af7fb7a1b97bbd29/src/org/sosy_lab/java_smt/SolverContextFactory.java#L51-L61) enum value, or the [manager](./src/main/java/hu/bme/mit/theta/solver/javasmt/JavaSMTSolverManager.java) needs a string with the same values after the `JavaSMT:` prefix.