https://gitlab.ow2.org/sat4j/sat4j.git
History
Tip revision: b695c88617428b977869f12dc971b35d03634ddc authored by Romain Wallon on 21 March 2019, 13:44:16 UTC
A first attempt to measure time needed to detect irrelevant literals
Tip revision: b695c88
File Mode Size
.settings
META-INF
src
.classpath -rw-r--r-- 1.2 KB
.project -rw-r--r-- 545 bytes
build.properties -rw-r--r-- 133 bytes
plugin.properties -rw-r--r-- 83 bytes
pom.xml -rw-r--r-- 1.1 KB

back to top