Platforms to show: All Mac Windows Linux Cross-Platform

LGLMBS class

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

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 which use this class:

Blog Entries

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

LDAPModMBS   -   LibUSBConfigDescriptorMBS

The biggest plugin in space...

MBS FileMaker tutorial videos