Platforms to show: All Mac Windows Linux Cross-Platform

Back to LGLMBS class.

LGLMBS.LGL_SATISFIABLE = 10

Type Topic Plugin Version
const SATSolver MBS Tools Plugin 20.0
One of the SAT result values.

The system is satisfiable.

LGLMBS.LGL_UNKNOWN = 0

Type Topic Plugin Version
const SATSolver MBS Tools Plugin 20.0
One of the SAT result values.

It is not known whether it is satisfiable.

LGLMBS.LGL_UNSATISFIABLE = 20

Type Topic Plugin Version
const SATSolver MBS Tools Plugin 20.0
One of the SAT result values.

The system is not satisfiable.

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


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