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




Links
MBS FileMaker tutorial videos