|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LightFactory | |
---|---|
org.sat4j | Contains a command line launcher for the SAT solvers. |
Uses of LightFactory in org.sat4j |
---|
Methods in org.sat4j that return LightFactory | |
---|---|
static LightFactory |
LightFactory.instance()
Access to the single instance of the factory. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |