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
File Mode Size
commons-beanutils.jar -rw-r--r-- 184.2 KB
commons-cli.jar -rw-r--r-- 35.3 KB
commons-logging.jar -rw-r--r-- 59.4 KB
jchart2d-3.2.2.jar -rw-r--r-- 465.9 KB
jchart2d.jar l--------- 18 bytes
mockito-all-1.9.5.jar -rw-r--r-- 1.5 MB

back to top