| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
- Correct equality check of atoms and formulas for processing congruence closure
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
various solvers separately
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
(the last element is the default)
|
| |
|
| |
|
| |
|
|
|
|
| |
standard coq
|
|
|