Use the main clingo instead of using the local clone

iensen / plog2.0

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)

GNU General Public License v3.0

1 stars 1 forks source link

Open iensen opened 6 years ago

iensen commented 6 years ago

See if there are any issues that are still unresolved in the current clingo, that prevent it from being used in P-log.

If there are issues, contact Potassco and resolve. If there are no issues, make P-log use the main repository instead of the local fork.

iensen commented 4 years ago