All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download io.github.uuverifiers JAR files with all dependencies


    princess-parser_2.12 from group io.github.uuverifiers (version 2024-11-08)

    Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

    Group: io.github.uuverifiers Artifact: princess-parser_2.12
    Show all versions Show documentation Show source 
    Download princess-parser_2.12.jar (2024-11-08)
     

    0 downloads
    Artifact princess-parser_2.12
    Group io.github.uuverifiers
    Version 2024-11-08
    Last update 08. November 2024
    Organization io.github.uuverifiers
    URL https://philipp.ruemmer.org/princess.shtml
    License BSD-3-Clause
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    princess-smt-parser_2.12 from group io.github.uuverifiers (version 2024-11-08)

    Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

    Group: io.github.uuverifiers Artifact: princess-smt-parser_2.12
    Show all versions Show documentation Show source 
    Download princess-smt-parser_2.12.jar (2024-11-08)
     

    0 downloads
    Artifact princess-smt-parser_2.12
    Group io.github.uuverifiers
    Version 2024-11-08
    Last update 08. November 2024
    Organization io.github.uuverifiers
    URL https://philipp.ruemmer.org/princess.shtml
    License BSD-3-Clause
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    princess_2.11 from group io.github.uuverifiers (version 2024-11-08)

    Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

    Group: io.github.uuverifiers Artifact: princess_2.11
    Show all versions Show documentation Show source 
    Download princess_2.11.jar (2024-11-08)
     

    0 downloads
    Artifact princess_2.11
    Group io.github.uuverifiers
    Version 2024-11-08
    Last update 08. November 2024
    Organization io.github.uuverifiers
    URL https://philipp.ruemmer.org/princess.shtml
    License BSD-3-Clause
    Dependencies amount 5
    Dependencies scala-library, princess-parser_2.11, princess-smt-parser_2.11, scala-parser-combinators_2.11, java-cup,
    There are maybe transitive dependencies!

    princess-parser_2.11 from group io.github.uuverifiers (version 2024-11-08)

    Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

    Group: io.github.uuverifiers Artifact: princess-parser_2.11
    Show all versions Show documentation Show source 
    Download princess-parser_2.11.jar (2024-11-08)
     

    0 downloads
    Artifact princess-parser_2.11
    Group io.github.uuverifiers
    Version 2024-11-08
    Last update 08. November 2024
    Organization io.github.uuverifiers
    URL https://philipp.ruemmer.org/princess.shtml
    License BSD-3-Clause
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    princess-smt-parser_2.11 from group io.github.uuverifiers (version 2024-11-08)

    Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

    Group: io.github.uuverifiers Artifact: princess-smt-parser_2.11
    Show all versions Show documentation Show source 
    Download princess-smt-parser_2.11.jar (2024-11-08)
     

    0 downloads
    Artifact princess-smt-parser_2.11
    Group io.github.uuverifiers
    Version 2024-11-08
    Last update 08. November 2024
    Organization io.github.uuverifiers
    URL https://philipp.ruemmer.org/princess.shtml
    License BSD-3-Clause
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    eldarica_2.13 from group io.github.uuverifiers (version 2.1)

    Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

    Group: io.github.uuverifiers Artifact: eldarica_2.13
    Show documentation Show source 
    Download eldarica_2.13.jar (2.1)
     

    0 downloads
    Artifact eldarica_2.13
    Group io.github.uuverifiers
    Version 2.1
    Last update 22. March 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/eldarica
    License BSD License 2.0
    Dependencies amount 9
    Dependencies scala-library, eldarica-cc-parser_2.13, eldarica-tplspec-parser_2.13, scala-parser-combinators_2.13, java-cup, antlr, scala-xml_2.13, scalactic_2.13, princess_2.13,
    There are maybe transitive dependencies!

    eldarica-cc-parser_2.13 from group io.github.uuverifiers (version 2.1)

    Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

    Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.13
    Show documentation Show source 
    Download eldarica-cc-parser_2.13.jar (2.1)
     

    0 downloads
    Artifact eldarica-cc-parser_2.13
    Group io.github.uuverifiers
    Version 2.1
    Last update 22. March 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/eldarica
    License BSD License 2.0
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    eldarica-tplspec-parser_2.13 from group io.github.uuverifiers (version 2.1)

    Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

    Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.13
    Show documentation Show source 
    Download eldarica-tplspec-parser_2.13.jar (2.1)
     

    0 downloads
    Artifact eldarica-tplspec-parser_2.13
    Group io.github.uuverifiers
    Version 2.1
    Last update 22. March 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/eldarica
    License BSD License 2.0
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    eldarica_2.12 from group io.github.uuverifiers (version 2.1)

    Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

    Group: io.github.uuverifiers Artifact: eldarica_2.12
    Show documentation Show source 
    Download eldarica_2.12.jar (2.1)
     

    0 downloads
    Artifact eldarica_2.12
    Group io.github.uuverifiers
    Version 2.1
    Last update 22. March 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/eldarica
    License BSD License 2.0
    Dependencies amount 9
    Dependencies scala-library, eldarica-cc-parser_2.12, eldarica-tplspec-parser_2.12, scala-parser-combinators_2.12, java-cup, antlr, scala-xml_2.12, scalactic_2.12, princess_2.12,
    There are maybe transitive dependencies!

    eldarica-tplspec-parser_2.12 from group io.github.uuverifiers (version 2.1)

    Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

    Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.12
    Show documentation Show source 
    Download eldarica-tplspec-parser_2.12.jar (2.1)
     

    0 downloads
    Artifact eldarica-tplspec-parser_2.12
    Group io.github.uuverifiers
    Version 2.1
    Last update 22. March 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/eldarica
    License BSD License 2.0
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!


    Page 2 from 3 (items total 24)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy