Patrick Lühne 9621cb1e0c

Add to-do note

2020-05-12 06:10:52 +02:00

..

commands

Minor formatting

2020-05-11 03:46:20 +02:00

input

Add to-do note

2020-05-12 06:10:52 +02:00

output

Color output

2020-05-12 04:51:51 +02:00

problem

New output format

2020-05-11 05:03:59 +02:00

translate

Remove obsolete to-do note

2020-05-11 04:00:51 +02:00

utils

Rename ScopedFormula to OpenFormula

2020-05-11 03:58:30 +02:00

commands.rs

Implement proof mechanism

2020-05-06 00:13:43 +02:00

error.rs

Add parser support for output statements

2020-05-12 05:27:51 +02:00

input.rs

Work in progress

2020-05-05 19:40:57 +02:00

lib.rs

Move InputConstantDeclarationDomains to problem module

2020-05-11 03:48:14 +02:00

main.rs

Move ProofDirection type to separate module

2020-05-11 03:46:11 +02:00

output.rs

Color output

2020-05-12 04:51:51 +02:00

problem.rs

Add parser support for output statements

2020-05-12 05:27:51 +02:00

traits.rs

Use foliage traits

2020-04-17 04:10:23 +02:00

translate.rs

Refactoring to support TPTP output

2020-02-03 02:57:45 +01:00

utils.rs

Rename ScopedFormula to OpenFormula

2020-05-11 03:58:30 +02:00