Giters
uuverifiers
/
princess
The Princess Theorem Prover
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
21
Watchers:
5
Issues:
8
Forks:
5
uuverifiers/princess Issues
No model despite +model
Closed
7 months ago
Comments count
4
[Ostrich] String theory crashes when solving query with STR_LESS_EQUAL
Closed
7 months ago
Comments count
3
Model evaluation for rational theory crashes in MatchError
Updated
9 months ago
Model evaluation for rational theory is incomplete and does not simplify terms
Updated
9 months ago
Effect of option [+-]dnfConstraints
Closed
a year ago
Comments count
6
Unexpected result of VALID
Closed
a year ago
Comments count
4
Inconsistant cast
Closed
2 years ago
Unsoundness with quantifiers and ADTs
Closed
2 years ago
Comments count
2