]> git.ipfire.org Git - thirdparty/libsolv.git/commit
projects / thirdparty / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c017e2) | patch
Support learnt rules in proof reporting 512/head
authorMichael Schroeder <mls@suse.de>
Wed, 30 Nov 2022 11:48:50 +0000 (12:48 +0100)
committerMichael Schroeder <mls@suse.de>
Wed, 30 Nov 2022 11:48:50 +0000 (12:48 +0100)
commit526a931e62b448cc4ee57c751d93e2e8f31d727e
treeb5653b7ea397f967441bad2cde8f8650f31d109ctree
parent5c017e2446b4883a079b24c610029b3742e7d838commit | diff
Support learnt rules in proof reporting
tools/testsolv.c diff | blob | blame | history
Mirror of https://github.com/openSUSE/libsolv.git