Patrick Lühne
|
499fa0c667
|
Add option to specify output color choice
|
2020-05-22 19:33:06 +02:00 |
Patrick Lühne
|
7d06601c17
|
Color output
|
2020-05-12 04:51:51 +02:00 |
Patrick Lühne
|
c075f99093
|
Remove unused code
|
2020-05-11 02:43:42 +02:00 |
Patrick Lühne
|
caab0a618e
|
Add option for input predicates
|
2020-02-05 01:10:33 +01:00 |
Patrick Lühne
|
2ad5396488
|
Add option for human-readable output
|
2020-02-04 00:27:04 +01:00 |
Patrick Lühne
|
9f4b7946f5
|
Add option for output format
|
2020-02-03 22:51:19 +01:00 |
Patrick Lühne
|
0714bed2cc
|
Start supporting TPTP output
|
2020-02-02 20:27:30 +01:00 |