Evgenii Balai issues

Results 27 issues of


                                            Evgenii Balai

Choice rules in the head should be allowed to have sort names in them.

This program: 1{p(X):#s(X)}1 should work.

Insert a check for unsupported Clingo.

When an unsupported version of clingo is used (

enhancement

Allow to have conjunctions and disjunctions in queries.

enhancement

Add modulo operator

Allow 'mod' to occur in program literals.

maxint not working

The program with # maxint = 100000. does not compile..

Issue with quering mode when input is redirected

| java -jar sparc.jar does not work..

Negations before sort literals.

Currently, both default negation and classical negation are allowed before sort atoms: For example, the following program is valid: sorts # s = {a,b,c}. # s2 = {a,b,d}. predicates p(#s)....

bug

enhancement

Allow empty sorts (optionally, produce a warning when they occur in the program).

[Implementation] Unrestricted variables in choice rules.

The following program: sorts # s = {0,1}. predicates p(#s). rules 1{p(X)}1 :- X

bug

[Implementation] Cr-Rules and Clingo

Make CR-rules work when clingo solver is used.

enhancement