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
The class for the SAT Solver from lingeling.

Based on lingeling project here:
https://github.com/arminbiere/lingeling
and
http://fmv.jku.at/lingeling/

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

Videos

Release notes

  • Version 21.3
    • Added ParseFileMT, ParsePathMT and ParseStringMT for LGLMBS class for better threading.
  • Version 20.0
    • Added LGLMBS class with SAT Solver.

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


LGLAbortedExceptionMBS   -   LibUSBConfigDescriptorMBS


The biggest plugin in space...