Skip to content

Activity

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

add noble to ppa

rkaminskpushed 1 commit to wip • 8fd8044…a4e5321 • 
on Jun 23, 2024

update conda setup

rkaminskpushed 1 commit to wip • 15dd568…8fd8044 • 
on Jun 21, 2024

update deploy scripts

rkaminskpushed 1 commit to wip • 8330180…15dd568 • 
on Jun 21, 2024

make compatible with new clingo versions

rkaminskpushed 1 commit to bug/sat-clauses-loop • af6107c…4c8b48e • 
on Mar 23, 2024

bump versions

rkaminskpushed 1 commit to master • 26711b1…8330180 • 
on Feb 16, 2024

bump 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

rkaminskpushed 1 commit to master • 0375aa6…26711b1 • 
on Feb 15, 2024

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

Update README.md

rkaminskpushed 1 commit to wip • aa68c54…8bb77e0 • 
on Oct 11, 2023

update workflow

rkaminskpushed 1 commit to wip • 00cddca…aa68c54 • 
on Sep 28, 2023

run linters locally onyl

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

update deploy scripts

rkaminskpushed 1 commit to wip • e1152da…ac2f894 • 
on Apr 18, 2023

update to clingo 5.7

rkaminskpushed 1 commit to wip • 1402892…e1152da • 
on Apr 18, 2023