Platforms to show: All Mac Windows Linux Cross-Platform

The plugin part MBS Tools Plugin:SATSolver:

All Console safe, 87 entry points.

• class LGLAbortedExceptionMBS
• class LGLMBS
  • method Clone as LGLMBS
  • method Fork as LGLMBS
  • method Constructor
  • method SetPhases
  • method SetPhase(lit as integer)
  • method ResetPhase(lit as integer)
  • method Sat as Integer
  • method SatMT as Integer
  • method Simp(iterations as integer) as Integer
  • method PrintUsage
  • method PrintOptions(prefix as string, IgnoreSome as boolean)
  • method PrintRangeOptions
  • method PrintPCS(mixed as boolean)
  • method PrintSizes
  • method SetImportant(lit as integer)
  • method SetAPITraceFile(File as FolderItem)
  • method SetTraceFile(File as FolderItem)
  • method SetOutputFile(File as FolderItem)
  • method HasOption(Name as String) as Boolean
  • method DefaultOption(Name as String) as Integer
  • method ReadOptionFile(File as FolderItem) as Integer
  • method GetOptionMinMax(Name as String, byref min as Integer, byref max as Integer) as Integer
  • method SetID(tid as Integer, tids as Integer)
  • method Join(Child as LGLMBS) as Integer
  • method Unclone(Child as LGLMBS) as Integer
  • method ParseString(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
  • method ParseFile(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
  • method ParsePath(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
  • method ParseString(Data as String, force as boolean = false) as String
  • method ParseFile(File as FolderItem, force as boolean = false) as String
  • method ParsePath(Path as String, force as boolean = false) as String
  • method ParseStringMT(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
  • method ParseFileMT(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
  • method ParsePathMT(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
  • method ParseStringMT(Data as String, force as boolean = false) as String
  • method ParseFileMT(File as FolderItem, force as boolean = false) as String
  • method ParsePathMT(Path as String, force as boolean = false) as String
  • method ReduceCache
  • method FlushCache
  • method PrintStats
  • method FlushTimers
  • method Freeze(lit as Integer)
  • method Frozen(lit as Integer) as Integer
  • method Melt(lit as Integer)
  • method MeltAll
  • method Usable(lit as Integer) as Integer
  • method Reusable(lit as Integer) as Integer
  • method Reuse(lit as Integer)
  • method Lookahead as Integer
  • method Representative(lit as Integer) as Integer
  • method Failed(lit as Integer) as Integer
  • method Deref(lit as Integer) as Integer
  • method Fixed(lit as Integer) as Integer
  • method Add(lit as Integer)
  • method Assume(lit as Integer)
  • method CAssume(lit as Integer)
  • method Fixate
  • method IncVar as Integer
  • method Print(File as FolderItem = nil)
  • method PrintAll(File as FolderItem = nil)
  • method Reconstk(byref Start as Ptr, byref Top as Ptr)
  • method TraverseUnits
  • method TraverseEquivalences
  • method TraverseRemainingClauses
  • method TraverseAllClauses
  • property Option(Name as String) as Integer
  • property Handle as Integer
  • property Aborted as Boolean
  • property Prefix as String
  • property Options as Dictionary
  • property Confs as Int64
  • property Decs as Int64
  • property Props as Int64
  • property Bytes as Int64
  • property MegaBytes as Double
  • property MaxMegaBytes as Double
  • property Seconds as Double
  • property Inconsistent as Boolean
  • property Changed as Integer
  • property MaxVar as Integer
  • shared method LibVersion as String
  • shared method PrintBanner(Name as String, Prefix as String, File as FolderItem = nil)
  • shared property ProcessTime as Double
  • shared property AbortMessage as String
  • event Aborted
  • event TraverseUnits(Unit as Integer)
  • event TraverseEquivalences(Lit as Integer, Representation as Integer)
  • event TraverseRemainingClauses(Lit as Integer)
  • event TraverseAllClauses(Lit as Integer)

Blog Entries

• MBS Plugins on Xojo Cloud
• News from the MBS Xojo Plugins Version 21.3
• MonkeyBread Software Releases the MBS Xojo Plugins in version 21.3
• MBS Xojo Plugins, version 21.3pr6
• New in the MBS Xojo Plugins 20.0
• MonkeyBread Software Releases the MBS Xojo Plugins in version 20.0
• MBS Xojo Plugins, version 19.6pr2

Videos

• XDC 2020 MBS Plugins Presentation

Xojo Developer Magazine

• 18.3, page 44: Happy Birthday MonkeyBread Software, What is new in the MBS Xojo Plugins by Stefanie Juchmes