Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-05-25 | - add solver_private.h, make repo_ functions return an int, make solver_solv ... | Michael Schroeder | 1 | -1/+1 |
2011-01-07 | - kill stillborn KINDS_SEPARATELY, use getopt() in tools | Michael Schroeder | 1 | -2/+0 |
2009-06-22 | - create libsatsolverext static library | Michael Schroeder | 1 | -0/+10 |