Samuel W. Flint
|
b24c7368da
Called conflicts, not nogoods
|
4 years ago |
Samuel W. Flint
|
ab812bdc38
Add constraint checking for intension constraints
|
4 years ago |
Samuel W. Flint
|
bf16d9e0b2
Add constraint checking for extension constraints
|
4 years ago |
Samuel W. Flint
|
74bb5c5e95
Fix up VVPS
|
4 years ago |
Samuel W. Flint
|
35dbc95305
Check combined constraints
|
4 years ago |
Samuel W. Flint
|
142bddc147
Start adding checking
|
4 years ago |
Samuel W. Flint
|
50cc691533
Start adding types
|
4 years ago |
Samuel W. Flint
|
b5e4ff8b2e
Rename asd file, loadable now
|
4 years ago |
Samuel W. Flint
|
6c06684760
Start LCSP
|
6 years ago |