Moderate Activity
4
I Use This!

Commits : Listings

Analyzed 6 days ago. based on code collected 6 days ago.
Jul 20, 2015 — Jul 20, 2016
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix for SAT139 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... 15 days ago
New test case showing an issue when calling isSatisfiable(true) on a model iterator. 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... 15 days ago
Fix for SAT138. 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... 20 days ago
Test cases to check that basic WBO support is available. The tests cases come from the PB evaluation format description. 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... 20 days ago
Removed code pushed inadvertently. 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... about 1 month ago
add local xcsp3 repository 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... about 1 month ago
updated pom.xml to take into account java version requirement Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 1 month ago
New restart strategy presented by Armin Biere at POS15 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... about 1 month ago
added missing xscp3parser library Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 1 month ago
Refactored XCSP3 reader. Externalized objective function building in a dedicated class. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 2 months ago
Refactored XCSP3 reader. Externalized some constraint building functions to new dedicated classes located in their new dedicated package. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 2 months ago
Implemented Channel constraints Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 2 months ago
Added some missing constraints to Sat4j-CSP Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 2 months ago
Added some missing constraints to Sat4j-CSP Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 2 months ago
Implemented some CSP constraints. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 2 months ago
Sat4j CSP now shows values for variables eliminated by XCSP3 preprocessor in solution. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... about 2 months ago
Implemented some noOverlap constraints. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 2 months ago
Fixed a bug that made the solver crash when array variables are involved in unary/binary constraints Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 2 months ago
Plugged XCSP3 reader. Sat4j-csp should now choose the reader corresponding to the instance format. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 2 months ago
Removed trailing debugging comment. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 2 months ago