Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Inactive

Commits : Listings

Analyzed about 24 hours ago. based on code collected 1 day ago.
Oct 29, 2024 — Oct 29, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #3 from scala-steward/update/sbt-codacy-coverage-1.3.15
scand1sk
as Julien Vion
More... about 6 years ago
Correction to AllDiff
scand1sk
as Julien Vion
More... about 6 years ago
Using openjdk8
scand1sk
as Julien Vion
More... about 6 years ago
Support of BigInts in CSPOM
scand1sk
as Julien Vion
More... about 6 years ago
Update sbt-native-packager to 1.4.0
Scala Steward
More... about 6 years ago
Update sbt-scoverage to 1.6.0
Scala Steward
More... about 6 years ago
Update sbt-pgp to 1.1.2
Scala Steward
More... about 6 years ago
Update sbt-codacy-coverage to 1.3.15
Scala Steward
More... about 6 years ago
Improvements and debugging for the MiniZinc Challenge 2019. 3.12 release.
scand1sk
as Julien Vion
More... over 6 years ago
Updated README.md with latest versions of Concrete
scand1sk
as Julien Vion
More... over 6 years ago
Tagged large nQueens problem tests as slow for Travis
scand1sk
as Julien Vion
More... over 6 years ago
Performance and corretness improvements for AllDifferentAC/DirectedGraph and minor constraints, corrected bug in BitVectorDomain.disjoint.
scand1sk
as Julien Vion
More... over 6 years ago
Bug inserted in SumFactors (remove 0 factors) corrected.
scand1sk
as Julien Vion
More... over 6 years ago
Various optimizations, removed outdated data structures.
scand1sk
as Julien Vion
More... over 6 years ago
Corrected failing tests
scand1sk
as Julien Vion
More... over 6 years ago
Added missing test data, marked FAPP test as slow
scand1sk
as Julien Vion
More... over 6 years ago
Updated travis.yml for Scala 2.13
scand1sk
as Julien Vion
More... over 6 years ago
Migration to Scala 2.13. 3.10 release
scand1sk
as Julien Vion
More... over 6 years ago
WIP towards 3.10
scand1sk
as Julien Vion
More... over 6 years ago
3.9.2 release for XCSP3 competition
scand1sk
as Julien Vion
More... about 7 years ago
Upgrade travis JDK to 9
scand1sk
as Julien Vion
More... over 7 years ago
Many changes towards 3.7 release
scand1sk
as Julien Vion
More... over 7 years ago
Updated README with syntax highlighting
scand1sk
as Julien Vion
More... over 7 years ago
Many improvements. New variable heuristics, rewritten min/max constraints, rewritten reifiedconstraint with implication only, rewritten AllDiff detection generator.
scand1sk
as Julien Vion
More... almost 8 years ago
Updated README with description of solver features.
scand1sk
as Julien Vion
More... almost 8 years ago
Updated README with description of solver features.
scand1sk
as Julien Vion
More... almost 8 years ago
Added 1d_rubiks_cube.fzn.xz to slow tests
scand1sk
as Julien Vion
More... almost 8 years ago
Added Pb-mps-v2-20-10-bm23.xml.xz to slow tests
scand1sk
as Julien Vion
More... almost 8 years ago
Added Cabinet-5561_X2.xml.xz to slow tests
scand1sk
as Julien Vion
More... almost 8 years ago
Added OpenStacks-m2-pb-10-10-1.xml.xz to slow tests
scand1sk
as Julien Vion
More... almost 8 years ago