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.
Notes:
Based on lingeling project here:
https://github.com/arminbiere/lingeling
and
http://fmv.jku.at/lingeling/

Feedback, Comments & Corrections

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

The biggest plugin in space...




Links
MBS FileMaker Plugins

Start Chat