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

    • Download JAR files tagged by solver with all dependencies


    javasmt-solver-z3 from group org.sosy-lab (version 4.13.3)

    SMT solver Z3 for use in JavaSMT

    Group: org.sosy-lab Artifact: javasmt-solver-z3
    Show all versions Show documentation Show source 
    Download javasmt-solver-z3.jar (4.13.3)
     

    0 downloads
    Artifact javasmt-solver-z3
    Group org.sosy-lab
    Version 4.13.3
    Last update 12. October 2024
    Organization Software Systems Lab
    URL https://github.com/sosy-lab/java-smt
    License MIT License
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!

    aoc from group net.fornwall (version 2024.21.0)

    Advent of Code solver

    Group: net.fornwall Artifact: aoc
    Show all versions Show documentation Show source 
    Download aoc.jar (2024.21.0)
     

    0 downloads
    Artifact aoc
    Group net.fornwall
    Version 2024.21.0
    Last update 22. December 2024
    Organization not specified
    URL https://github.com/fornwall/advent-of-code
    License The MIT License
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!

    ostrich_2.13 from group io.github.uuverifiers (version 1.4.1)

    OSTRICH is an SMT solver for string constraints.

    Group: io.github.uuverifiers Artifact: ostrich_2.13
    Show all versions Show documentation Show source 
    Download ostrich_2.13.jar (1.4.1)
     

    0 downloads
    Artifact ostrich_2.13
    Group io.github.uuverifiers
    Version 1.4.1
    Last update 12. November 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/ostrich
    License BSD-3-Clause
    Dependencies amount 6
    Dependencies scala-library, ostrich-ecma2020-parser_2.13, princess_2.13, org.sat4j.core, automaton, fastparse_2.13,
    There are maybe transitive dependencies!

    ostrich-ecma2020-parser_2.13 from group io.github.uuverifiers (version 1.4.1)

    OSTRICH is an SMT solver for string constraints.

    Group: io.github.uuverifiers Artifact: ostrich-ecma2020-parser_2.13
    Show all versions Show documentation Show source 
    Download ostrich-ecma2020-parser_2.13.jar (1.4.1)
     

    0 downloads
    Artifact ostrich-ecma2020-parser_2.13
    Group io.github.uuverifiers
    Version 1.4.1
    Last update 12. November 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/ostrich
    License BSD-3-Clause
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    ostrich_2.12 from group io.github.uuverifiers (version 1.4.1)

    OSTRICH is an SMT solver for string constraints.

    Group: io.github.uuverifiers Artifact: ostrich_2.12
    Show all versions Show documentation Show source 
    Download ostrich_2.12.jar (1.4.1)
     

    0 downloads
    Artifact ostrich_2.12
    Group io.github.uuverifiers
    Version 1.4.1
    Last update 12. November 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/ostrich
    License BSD-3-Clause
    Dependencies amount 6
    Dependencies scala-library, ostrich-ecma2020-parser_2.12, princess_2.12, org.sat4j.core, automaton, fastparse_2.12,
    There are maybe transitive dependencies!

    ostrich-ecma2020-parser_2.12 from group io.github.uuverifiers (version 1.4.1)

    OSTRICH is an SMT solver for string constraints.

    Group: io.github.uuverifiers Artifact: ostrich-ecma2020-parser_2.12
    Show all versions Show documentation Show source 
    Download ostrich-ecma2020-parser_2.12.jar (1.4.1)
     

    0 downloads
    Artifact ostrich-ecma2020-parser_2.12
    Group io.github.uuverifiers
    Version 1.4.1
    Last update 12. November 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/ostrich
    License BSD-3-Clause
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    ostrich_2.11 from group io.github.uuverifiers (version 1.4.1)

    OSTRICH is an SMT solver for string constraints.

    Group: io.github.uuverifiers Artifact: ostrich_2.11
    Show all versions Show documentation Show source 
    Download ostrich_2.11.jar (1.4.1)
     

    0 downloads
    Artifact ostrich_2.11
    Group io.github.uuverifiers
    Version 1.4.1
    Last update 12. November 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/ostrich
    License BSD-3-Clause
    Dependencies amount 6
    Dependencies scala-library, ostrich-ecma2020-parser_2.11, princess_2.11, org.sat4j.core, automaton, fastparse_2.11,
    There are maybe transitive dependencies!

    ostrich-ecma2020-parser_2.11 from group io.github.uuverifiers (version 1.4.1)

    OSTRICH is an SMT solver for string constraints.

    Group: io.github.uuverifiers Artifact: ostrich-ecma2020-parser_2.11
    Show all versions Show documentation Show source 
    Download ostrich-ecma2020-parser_2.11.jar (1.4.1)
     

    0 downloads
    Artifact ostrich-ecma2020-parser_2.11
    Group io.github.uuverifiers
    Version 1.4.1
    Last update 12. November 2024
    Organization io.github.uuverifiers
    URL https://github.com/uuverifiers/ostrich
    License BSD-3-Clause
    Dependencies amount 1
    Dependencies scala-library,
    There are maybe transitive dependencies!

    javasmt-solver-bitwuzla from group org.sosy-lab (version 0.6.0-gab3db0e6)

    SMT solver Bitwuzla for use in JavaSMT

    Group: org.sosy-lab Artifact: javasmt-solver-bitwuzla
    Show all versions Show documentation 
    There is no JAR file uploaded. A download is not possible! Please choose another version.
    0 downloads
    Artifact javasmt-solver-bitwuzla
    Group org.sosy-lab
    Version 0.6.0-gab3db0e6
    Last update 27. October 2024
    Organization Software Systems Lab
    URL https://github.com/sosy-lab/java-smt
    License MIT License
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!

    ecos4j from group com.ustermetrics (version 3.1.0)

    ECOS Solver for Java

    Group: com.ustermetrics Artifact: ecos4j
    Show all versions Show documentation Show source 
    Download ecos4j.jar (3.1.0)
     

    0 downloads
    Artifact ecos4j
    Group com.ustermetrics
    Version 3.1.0
    Last update 19. October 2024
    Organization not specified
    URL ${git.repository}
    License GNU General Public License, Version 3
    Dependencies amount 2
    Dependencies guava, native-lib-loader,
    There are maybe transitive dependencies!


    Page 1 from 17 (items total 168)


    © 2015 - 2024 Weber Informatics LLC | Privacy Policy