Registry / utility / crillab-gophersat

crillab-gophersat

library1.4.0gogounverified

SAT solver and related tools implemented in Go.

go get github.com/crillab/gophersat

INSTALL

IMPORT

SIG · CRILLAB-GOPHERSAT

crillab-gophersat

utilitygov1.4.0

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

gophersat

✓ github.com/crillab/gophersat

Print the Gophersat version.

package main import ( "fmt" "github.com/crillab/gophersat" ) func main() { fmt.Println(gophersat.Version) }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

1.4.0latest on pkg.go.dev

Audit

Dependencies

No dependency data recorded yet.

Agent activity

12 hits · last 30 days

node

Resources