https://gitlab.ow2.org/sat4j/sat4j.git
History
Tip revision: c73d87f468c81b0beb880775ca428b45dfe1d1c7 authored by Daniel Le Berre on 27 January 2019, 10:51:55 UTC
Merge branch 'EFFICIENCY_FIX' of https://gitlab.ow2.org/sat4j/sat4j into EFFICIENCY_FIX
Tip revision: c73d87f
File Mode Size
.settings
META-INF
bin
src
.classpath -rw-r--r-- 522 bytes
.project -rw-r--r-- 374 bytes
big.txt -rw-r--r-- 582.0 KB
big_prices.txt -rw-r--r-- 3.5 MB
pom.xml -rw-r--r-- 1.9 KB
small.txt -rw-r--r-- 22.2 KB
small_prices.txt -rw-r--r-- 1.9 KB

back to top