https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: 078f9d16aa5a372bd2961881967d25ff18b5a220 authored by Romain WALLON on 11 May 2021, 19:19:38 UTC
Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j into assertion-level
Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j into assertion-level
Tip revision: 078f9d1
.project
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.sat4j.sudoku</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>