summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAlso solve when no artificial variables are needed...?Tom Smeding5 years
 
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-26 00:08:47 +0200