All issues

Search results

Design and implement sufficient conditions for a program to be dynamically causally ordered unitary

enhancement

help wanted

Status: Open.

#15 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Design and implement data structures and algorithms that will allow to answer multiple queries efficienty.

enhancement

help wanted

Status: Open.

#14 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Make do and random take an additional argument referring to the name of a random selection rule

enhancement

help wanted

Status: Open.

#13 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Extend P-log with additional type of queries (and possibly new syntax).

enhancement

help wanted

Status: Open.

#12 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Implement Aggregates In P-log

enhancement

help wanted

Status: Open.

#11 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Design and implement approximate inference algorithm for P-log

enhancement

help wanted

Status: Open.

#10 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Improve Counters Performance

enhancement

help wanted

Status: Open.

#9 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Make P-log understand classical negation.

bug

help wanted

Status: Open.

#6 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Insert proper validation for command line arguments

bug

help wanted

Status: Open.

#5 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Use the main clingo instead of using the local clone

enhancement

help wanted

Status: Open.

#4 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Implement sorts and typechecking

enhancement

help wanted

Status: Open.

#2 In iensen/plog2.0;

· iensen opened on Jul 8, 2018

Is the plog2.0 ready?

enhancement

Status: Open.

#1 In iensen/plog2.0;

· wangbiu opened on Aug 31, 2016