Platforms to show: All Mac Windows Linux Cross-Platform

/Tools/SATSolver/Test LGL


Required plugins for this example: MBS Tools Plugin

You find this example project in your Plugins Download as a Xojo project file within the examples folder: /Tools/SATSolver/Test LGL

This example is the version from Thu, 13th Nov 2019.

Project "Test LGL.xojo_binary_project"
Class App Inherits ConsoleApplication
EventHandler Function Run(args() as String) As Integer Print "LGL "+LGLMBS.LibVersion Dim l As New LGLMBS l.Option("Hello") = 1 Dim f As FolderItem = FindFile("test.txt") Dim LineNo As Integer Dim Max As Integer Dim r As String = l.ParseFile(f, False, lineNo, Max) print "ParseFile: "+r Dim Sat As Integer = l.Sat Print "Sat: "+Str(Sat) Select Case sat Case l.LGL_SATISFIABLE Print "LGL_SATISFIABLE" Case l.LGL_UNSATISFIABLE Print "LGL_UNSATISFIABLE" End Select l.PrintAll Dim u As Integer = l.MaxVar For i As Integer = 1 To u Print Str(i)+": "+Str(l.Deref(i)) Next Break // see debugger End EventHandler
EventHandler Function UnhandledException(error As RuntimeException) As Boolean Print Introspection.GetType(error).fullname Print error.Message For Each line As String In error.Stack Print line Next End EventHandler
Function FindFile(name as string) As FolderItem // Look for file in parent folders from executable on dim parent as FolderItem = app.ExecutableFile.Parent while parent<>Nil dim file as FolderItem = parent.Child(name) if file<>Nil and file.Exists then Return file end if parent = parent.Parent wend End Function
End Class
End Project

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


The biggest plugin in space...