{"id":76900,"library":"crillab-gophersat","title":"Gophersat","description":"SAT solver and related tools implemented in Go.","status":"active","version":"1.4.0","language":"go","source_language":null,"source_url":"https://github.com/crillab/gophersat","tags":["sat","solver","logic","constraint"],"install":[{"cmd":"go get github.com/crillab/gophersat","lang":"bash","label":"Install github.com/crillab/gophersat"}],"dependencies":[],"imports":[{"symbol":"gophersat","correct":"github.com/crillab/gophersat"}],"quickstart":{"code":"package main\n\nimport (\n\t\"fmt\"\n\t\"github.com/crillab/gophersat\"\n)\n\nfunc main() {\n\tfmt.Println(gophersat.Version)\n}","lang":"go","description":"Print the Gophersat version."},"warnings":[],"env_vars":null,"search_vec":"'constraint':13 'go':9 'gophersat':1 'implement':7 'logic':12 'relat':5 'sat':2,10 'solver':3,11 'tool':6","created_at":"2026-06-17T19:40:03.681371+00:00","updated_at":"2026-06-17T19:40:03.681371+00:00","problems":[],"ecosystem":"go","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"https://github.com/crillab/gophersat","github":"https://github.com/crillab/gophersat","docs":"https://pkg.go.dev/github.com/crillab/gophersat#section-documentation","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["utility"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-17","next_check":"2026-12-14","install_tag":null}}