https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: 07d92e3144f9d7703a05adf72c915f33ecb4149f authored by Andre Biedenkapp on 06 December 2021, 13:54:39 UTC
MAINT directly log the played policy
MAINT directly log the played policy
Tip revision: 07d92e3
.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>
