https://gitlab.ow2.org/sat4j/sat4j.git
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
A first attempt to measure time needed to detect irrelevant literals
Tip revision: b695c88
settings.xml
<?xml version="1.0"?>
<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 https://maven.apache.org/xsd/settings-1.0.0.xsd">
<servers>
<server>
<id>ow2.snapshot</id>
<username>${env.NEXUS_LOGIN}</username>
<password>${env.NEXUS_PWD}</password>
</server>
</servers>
</settings>