Activity Not Available
4
I Use This!

Commits : Listings

Analyzed about 1 month ago. based on code collected about 1 month 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... about 2 months 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... about 2 months ago
Fix for SAT138. 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... about 2 months 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... about 2 months ago
Removed code pushed inadvertently. 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... 2 months ago
add local xcsp3 repository 9adf81725285c0aa384f0395c6d31d48?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Daniel Le Berre
as leberre
More... 2 months ago
updated pom.xml to take into account java version requirement Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 2 months 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... 2 months ago
added missing xscp3parser library Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 2 months ago
Refactored XCSP3 reader. Externalized objective function building in a dedicated class. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Refactored XCSP3 reader. Externalized some constraint building functions to new dedicated classes located in their new dedicated package. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Implemented Channel constraints Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Added some missing constraints to Sat4j-CSP Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Added some missing constraints to Sat4j-CSP Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Implemented some CSP constraints. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Sat4j CSP now shows values for variables eliminated by XCSP3 preprocessor in solution. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Implemented some noOverlap constraints. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Fixed a bug that made the solver crash when array variables are involved in unary/binary constraints Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Plugged XCSP3 reader. Sat4j-csp should now choose the reader corresponding to the instance format. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Removed trailing debugging comment. Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago