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
Tip revision: 61fcb96a72f6ab60fc3057a7d87fbd3a07a989c4 authored by Daniel Le Berre on 11 November 2018, 11:43:58 UTC
Encapsulated fields of SolverStats to please SonarQube.
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 |
Computing file changes ...