1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

ASP printer should remove capitals

Issue #574 new
Bart Bogaerts created an issue

in order to make stuff parseable by asp solvers

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
new
Component
–
Version
–
Votes
1
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!