Go to issue

Labels Milestones New Issue

15 Open 23 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

aesthetic

bug

discussion

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

suggestion

task

wontfix

Milestone

All milestones No milestones

Open milestones

anthem 0.2.0 anthem 0.2.1

Closed milestones

anthem 0.1.9

Project

All projects No project

Author

All users

Assignee

Assigned to nobody Assigned to anybody

patrick (Patrick Lühne)

Sort

Newest Oldest Most recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

15 Open 23 Closed

Open

Label

Clear labels

aesthetic

bug

discussion

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

suggestion

task

wontfix

Milestone

No milestone

Open milestones

anthem 0.2.0

anthem 0.2.1

Closed milestones

anthem 0.1.9

Projects

Clear projects

Assignee

Clear assignees

No assignee

patrick

Avoid unmapping integers in multiplications with TPTP output enhancement

#36

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

anthem 0.2.0

Eliminate division in TPTP output bug

#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 bug

#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 enhancement

#32

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

anthem 0.2.0

Add option to specify domains of all variables enhancement

#31

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

anthem 0.2.0

1

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

#27

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

anthem 0.2.0

1

Handle placeholders in TPTP output enhancement

#26

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

anthem 0.2.1

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

anthem 0.2.0

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

#22

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

anthem 0.2.0

1

Implement new translation scheme for Horn programs enhancement

#21

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

anthem 0.2.0

1

Implement TPTP output format enhancement

#20

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

anthem 0.2.0

1

Verify interval operator precedence in output bug

#19

by patrick was closed 2018-05-04 15:52:44 +02:00

anthem 0.1.9

1

Investigate Vampire as a theorem prover discussionsuggestion

#18

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

anthem 0.2.0

1

Update readme for release 0.1.9 documentationtask

#17

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

anthem 0.1.9

1

Keywords are unintendedly underlined in the output aestheticbug

#16

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

anthem 0.2.0

1

Handle noninteger intervals appropriately bugdiscussion

#15

by patrick was closed 2018-04-22 17:35:38 +02:00

anthem 0.1.9

1

Incorrect translation of choice rule with multiple elements bug

#13

by patrick was closed 2018-05-04 15:22:03 +02:00

anthem 0.1.9

2

Add unit tests for integer variable detection task

#12

by patrick was closed 2018-05-02 18:38:23 +02:00

anthem 0.1.9

1

Make completion, simplifications, and integer variable detection the default enhancement

#11

by patrick was closed 2018-05-04 16:05:17 +02:00

anthem 0.1.9

1

Add unit tests for testing equality of formulas and terms task

#9

by patrick was closed 2018-05-03 16:59:08 +02:00

anthem 0.1.9