tiny-gophersat

command module

v1.3.2 Latest Latest Go to latest Published: May 27, 2022 License: MIT Imports: 10 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/j-blue-arz/tiny-gophersat

Links

Open Source Insights

README ¶

Gophersat, a SAT and pseudo-boolean solver written in Go

This is a fork of crillab/gophersat with the goal to make it work with TinyGo. Currently, this is not possible with the upstream version at least due to one issue of TinyGo.

Go to https://github.com/crillab/gophersat for more information.

Documentation ¶

There is no documentation for this package.

Source Files ¶

View all Source files

main.go

Directories ¶

Path	Synopsis
bf Package bf offers facilities to test the satisfiability of generic boolean formula.	Package bf offers facilities to test the satisfiability of generic boolean formula.
explain Package explain provides facilities to check and understand UNSAT instances.	Package explain provides facilities to check and understand UNSAT instances.
maxsat Package maxsat provides an optimization solver for SAT/PB.	Package maxsat provides an optimization solver for SAT/PB.
solver Package solver gives access to a simple SAT and pseudo-boolean solver.	Package solver gives access to a simple SAT and pseudo-boolean solver.

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL