Issues - anthem - Gitea: Git with a cup of tea

patrick

/

anthem

New Issue

Avoid unmapping integers in multiplications with TPTP output

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

Handle placeholders in TPTP output

#26 by patrick was closed 2020-02-24 18:34:02 +01:00 anthem 0.2.1

Eliminate division in TPTP output

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

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

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

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

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

Handle programs with both integer and program variables in TPTP output

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

Add option to specify domains of all variables

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

Keywords are unintendedly underlined in the output

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

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

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

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

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

Implement new translation scheme for Horn programs

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

Support unary minus in terms

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

Implement TPTP output format

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

Investigate Vampire as a theorem prover

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

Update readme for release 0.1.9

#17 by patrick was closed 2018-05-04 17:00:14 +02:00 anthem 0.1.9

Make completion, simplifications, and integer variable detection the default

#11 by patrick was closed 2018-05-04 16:05:17 +02:00 anthem 0.1.9

Verify interval operator precedence in output

#19 by patrick was closed 2018-05-04 15:52:44 +02:00 anthem 0.1.9

Incorrect translation of choice rule with multiple elements

#13 by patrick was closed 2018-05-04 15:22:03 +02:00 anthem 0.1.9

Add unit tests for testing equality of formulas and terms

#9 by patrick was closed 2018-05-03 16:59:08 +02:00 anthem 0.1.9

Add unit tests for integer variable detection

#12 by patrick was closed 2018-05-02 18:38:23 +02:00 anthem 0.1.9

1 2