https://gitlab.ow2.org/sat4j/sat4j.git
Revision 61fcb96a72f6ab60fc3057a7d87fbd3a07a989c4 authored by Daniel Le Berre on 11 November 2018, 11:43:58 UTC, committed by Daniel Le Berre on 12 November 2018, 21:24:58 UTC
Need however to check if it does not impact efficiency.
1 parent 8a723aa
History
Tip revision: 61fcb96a72f6ab60fc3057a7d87fbd3a07a989c4 authored by Daniel Le Berre on 11 November 2018, 11:43:58 UTC
Encapsulated fields of SolverStats to please SonarQube.
Tip revision: 61fcb96

README.md

back to top