Menu
▾
▴
Tree [42002a] git-origin / History
| File | Date | Author | Commit |
|---|---|---|---|
| XSB | 2023-12-18 |
F Q Weitkämper
|
[42002a] Further portability fixes to mcintyre.pl in the... |
| altmttest | 2006-12-22 |
tswift
|
[a2efdc] Change to include prolog tests. |
| mttests | 2015-01-03 |
dwarren
|
[bf71bb] Removed a couple of partial models (errors in m... |
| xsbtests | 2023-12-16 |
Theresa Swift
|
[628796] Another small change for fancier python errors. |
| .gitattributes | 2018-10-23 |
rzf
|
[3482c0] added CUDD for PITA |
| .gitignore | 2023-04-23 |
Michael Kifer
|
[d2650f] added a 1-step installer for linux and mac that... |