|
||||||||||
| 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 | |||||||||