nowfound

Life & fun · September 20, 2021

SAT Solver/Constraint Programming library in Go

SAT solver library in Go; wraps around Google's Operational Research Tools - irfansharif/solver

SAT Solver/Constraint Programming library in Go launched on September 20, 2021 with 5 votes and more than 50% of that year's launches. The site was still online in September 2026, 5 years on.

Visit github.com ↗Alternatives

Does a similar job

all alternatives →
  • I ported Tree-sitter to GoFeb 2026 · github.com · ▲222

    This started as a hard requirement for my TUI-based editor application, it ended up going in a few different directions. A suite of tools that help with semantic code entities: https://github.com/odvcencio/gts-suite A next-gen version control system called Got: https://github.com/odvcencio/got I think this has some pretty big potential! I think there's many classes of application (particularly legacy architecture) that can benefit from these kinds of analysis tooling. My next post will be about composing all these together, an exciting project I call…

  • The Go Programming Language2016 · amazon.com · ▲60

    The authoritative resource for learning Go

  • A pure Go library for interacting with LLVM IR2017 · github.com · ▲81

    Library for interacting with LLVM IR in pure Go. Contribute to llir/llvm development by creating an account on GitHub.

  • A Go Library for Better Access Control2017 · github.com · ▲158

    A SDK for access control policies: authorization for the microservice and IoT age. Inspired by AWS IAM policies. Written for Go. - ory/ladon

  • Go-Bt: Minimalist Behavior Trees for GoApr 2026 · github.com · ▲62

    Hey HN, I just published v0.1.0 of go-bt and would love some feedback from the Go veterans here. Thanks in advance!

  • A minimal and idiomatic WebSocket library for Go2019 · github.com · ▲99

    Minimal and idiomatic WebSocket library for Go. Contribute to coder/websocket development by creating an account on GitHub.

More life & fun this month

the category →

Source: Show HN post ↗

Launched alongside, September 2021

the whole month →