anthem

Avoid unmapping integers in multiplications with TPTP output

enhancement

#36 by patrick was closed 2020-02-24 18:34:31 +01:00

Eliminate division in TPTP output

bug

#34 by patrick was closed 2019-01-30 00:30:13 +01:00

Add “is even” check only for variables that are actual integers

bug

#33 by patrick was closed 2019-01-25 00:24:23 +01:00

Generate program for proving strong equivalence when two input files are provided

enhancement

#32 by patrick was closed 2019-01-24 23:29:48 +01:00

Add option to specify domains of all variables

enhancement

1

#31 by patrick was closed 2019-01-17 04:36:52 +01:00

Don’t perform simplifications with logic of here-and-there

bug

1

#27 by patrick was closed 2019-01-16 02:39:05 +01:00

Handle programs with both integer and program variables in TPTP output

enhancement

#25 by patrick was closed 2019-01-23 16:21:16 +01:00

Show warning if output is subject to logic of here-and-there

enhancement

1

#22 by patrick was closed 2019-01-16 02:38:08 +01:00

Implement new translation scheme for Horn programs

enhancement

1

#21 by patrick was closed 2019-01-16 02:37:36 +01:00

Implement TPTP output format

enhancement

1

#20 by patrick was closed 2019-01-13 16:44:36 +01:00

Investigate Vampire as a theorem prover

discussion

suggestion

1

#18 by patrick was closed 2019-01-13 16:42:46 +01:00

Keywords are unintendedly underlined in the output

aesthetic

bug

1

#16 by patrick was closed 2019-01-16 02:55:45 +01:00

Support unary minus in terms

bug

1

#5 by patrick was closed 2019-01-16 02:36:49 +01:00

anthem 0.2.0