Skip to content

Fix for Clingo 5.8

Latest

Choose a tag to compare

@ovidiomanteiga ovidiomanteiga released this 21 Oct 19:50

Fixes an issue with positional arguments when calling solve method from Clingo Control in Clingo 5.8.0. See #14