Unit Test Results
Designed for use with
JUnit
and
Ant
.
Package org.sat4j.minisat.core
Classes
Name
Tests
Errors
Failures
Time(s)
HeapTest
8
0
0
0.038
MarkableLitsTest
12
0
0
0.043
QueueTest
4
0
0
0.035