12 search results for "tag:"smt""
Showing 1 - 12
-
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
1.0.5MITUsed by 0 other packages24 Feb 2023
-
1.0.0MITUsed by 0 other packages12 Jul 2021
-
1.0.5MITUsed by 1 other packages24 Feb 2023
-
0.5.0MITUsed by 0 other packages06 Jun 2024
-
A parser library for automated deduction0.10BSD-2-ClauseUsed by 7 other packages24 Jun 2024
-
A linter for logic languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
0.1ApacheUsed by 0 other packages18 Nov 2020
-
Library containing a SAT solver that can be parametrized by a theory0.9.1Apache-2.0Used by 5 other packages24 Mar 2021
-
Experimental model finder/SMT solver for functional programming0.6.1Used by 0 other packages14 Nov 2019
-
0.5BSD-2-ClauseUsed by 0 other packages17 Apr 2024
-
0.3ISCUsed by 0 other packages09 Sep 2016