File | Date | Author | Commit |
---|---|---|---|
XSB | 6 days ago |
![]() |
[7d6f3d] added optional @ wrapper for atoms, to allow @(... |
altmttest | 2006-12-22 |
![]() |
[a2efdc] Change to include prolog tests. |
mttests | 2015-01-03 |
![]() |
[bf71bb] Removed a couple of partial models (errors in m... |
xsbtests | 2024-12-16 |
![]() |
[f17ac6] updated test to changes in write to remove extr... |
.gitattributes | 2018-10-23 |
![]() |
[3482c0] added CUDD for PITA |
.gitignore | 2023-04-23 |
![]() |
[d2650f] added a 1-step installer for linux and mac that... |