anthem 0.2.0

New Issue

2019-01-17

76% Completed

4 Open 13 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

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

patrick

Sort

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

Incorrect output for 0-ary predicates

bug

#38 opened 2019-02-07 17:49:45 +01:00 by patrick

Handle predicates with the same name but different arity

bug

#37 opened 2019-01-30 21:17:04 +01:00 by patrick

Add human-readable output mode with mapping to integer domain only

enhancement

#35 opened 2019-01-25 00:19:07 +01:00 by patrick

Write unit tests for τ* translation scheme

task

#29 opened 2019-01-16 03:19:16 +01:00 by patrick