Platforms to show: All Mac Windows Linux Cross-Platform

LGLMBS class

Type Topic Plugin Version macOS Windows Linux iOS Targets
class SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Function: The class for the SAT Solver from lingeling.
Based on lingeling project here:

SAT Results

Constant Value Description
LGL_SATISFIABLE 10 The system is satisfiable.
LGL_UNKNOWN 0 It is not known whether it is satisfiable.
LGL_UNSATISFIABLE 20 The system is not satisfiable.

This class has no sub classes.

Some examples using this class:

Blog Entries

Xojo Developer Magazine


The items on this page are in the following plugins: MBS Tools Plugin.

LGLAbortedExceptionMBS   -   LibUSBConfigDescriptorMBS

💬 Ask a question or report a problem
The biggest plugin in space...

Start Chat