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: Mar 16, 2022

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: Mar 16, 2022

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: Mar 16, 2022

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: Mar 16, 2022

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: Mar 16, 2022

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: Mar 16, 2022

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: Mar 16, 2022

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: Mar 16, 2022

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: Mar 16, 2022

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: Dec 20, 2021

ostrich

io.github.uuverifiers : ostrich_2.13

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date: Dec 20, 2021

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: Dec 15, 2021

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: Dec 15, 2021

Ostrich

io.github.uuverifiers : ostrich_2.11

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date: Dec 15, 2021

Ostrich

io.github.uuverifiers : ostrich_2.12

OSTRICH is an SMT solver for string constraints.

Last Version: 1.1

Release Date: Dec 15, 2021