JarCasting
JarCasting JarCasting

Project Group: io.github.uuverifiers

Princess

 io.github.uuverifiers : princess_2.13

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

Last Version: 2022-03-16

Release Date:

Princess-parser

 io.github.uuverifiers : princess-parser_2.11

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

Last Version: 2022-03-16

Release Date:

Princess-smt-parser

 io.github.uuverifiers : princess-smt-parser_2.11

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

Last Version: 2022-03-16

Release Date:

Princess

 io.github.uuverifiers : princess_2.11

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

Last Version: 2022-03-16

Release Date:

Princess-parser

 io.github.uuverifiers : princess-parser_2.12

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

Last Version: 2022-03-16

Release Date:

Princess-smt-parser

 io.github.uuverifiers : princess-smt-parser_2.12

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

Last Version: 2022-03-16

Release Date:

Princess

 io.github.uuverifiers : princess_2.12

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

Last Version: 2022-03-16

Release Date:

Princess-smt-parser

 io.github.uuverifiers : princess-smt-parser_2.13

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

Last Version: 2022-03-16

Release Date:

Princess-parser

 io.github.uuverifiers : princess-parser_2.13

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

Last Version: 2022-03-16

Release Date:

OSTRICH-ECMA2020-parser

 io.github.uuverifiers : ostrich-ecma2020-parser_2.13

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date:

ostrich

 io.github.uuverifiers : ostrich_2.13

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date:

OSTRICH-ECMA2020-parser

 io.github.uuverifiers : ostrich-ecma2020-parser_2.11

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date:

OSTRICH-ECMA2020-parser

 io.github.uuverifiers : ostrich-ecma2020-parser_2.12

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date:

Ostrich

 io.github.uuverifiers : ostrich_2.11

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date:

Ostrich

 io.github.uuverifiers : ostrich_2.12

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date:

  • 1