Merge pull request
#74 from marcbutler/cmake-example-fix
Pull request merge
rkaminskpushed 2 commits to wip • a4e5321…7ef0e7a • on Oct 1, 2024
Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows
rkaminskpushed 1 commit to wip • 8fd8044…a4e5321 • on Jun 23, 2024
rkaminskpushed 1 commit to wip • 15dd568…8fd8044 • on Jun 21, 2024
rkaminskpushed 1 commit to wip • 8330180…15dd568 • on Jun 21, 2024
make compatible with new clingo versions
rkaminskpushed 1 commit to wip • 26711b1…8330180 • on Feb 16, 2024
better finding of python extensions
rkaminskpushed 1 commit to wip • 0375aa6…26711b1 • on Feb 15, 2024
better finding of python extensions
update changes + versions
rkaminskpushed 1 commit to wip • 8bb77e0…0375aa6 • on Feb 15, 2024
update changes + versions
rkaminskpushed 22 commits to master • 77d1d4b…0375aa6 • on Feb 15, 2024
rkaminskpushed 1 commit to wip • aa68c54…8bb77e0 • on Oct 11, 2023
rkaminskpushed 1 commit to wip • 00cddca…aa68c54 • on Sep 28, 2023
rkaminskpushed 1 commit to wip • 679a1e6…00cddca • on Sep 28, 2023
try to fix linter warnings on macos
rkaminskpushed 3 commits to wip • f27ad87…679a1e6 • on Sep 28, 2023
incorporate latest changes from clingcon
rkaminskpushed 1 commit to wip • 4c4ebe1…f27ad87 • on Sep 28, 2023
Merge pull request
#71 from potassco/feature/heuristic
Pull request merge
rkaminskpushed 2 commits to wip • ac2f894…4c4ebe1 • on Apr 18, 2023
rkaminskpushed 1 commit to wip • e1152da…ac2f894 • on Apr 18, 2023
rkaminskpushed 1 commit to wip • 1402892…e1152da • on Apr 18, 2023
You can’t perform that action at this time.