marcvanzee / go-sat
Simple SAT Solver written in Go
☆21Updated 2 years ago
Alternatives and similar repositories for go-sat:
Users that are interested in go-sat are comparing it to the libraries listed below
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Updated 9 years ago
- Go implementation of xoroshiro128+ RNG☆15Updated 3 years ago
- HyperLogLog in golang☆25Updated 6 years ago
- Simple generative fuzzer☆16Updated 3 years ago
- Remove implicit field traversals from Go source☆37Updated 3 years ago
- tools to modify go programs☆11Updated 9 years ago
- exponential smoothing toolkit☆15Updated 8 years ago
- Golang: contex-aware synchronization primitives (mutex).☆32Updated last year
- record-less semi-deterministic replayer for Go programs☆11Updated 8 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- A property-based testing library☆37Updated 7 years ago
- RRD statistics collector implemented in Go☆31Updated 9 years ago
- singlefile implements a host wide locking mechanism.☆34Updated 10 years ago
- ☆29Updated 8 years ago
- StreamQL is a stream query language☆17Updated 7 years ago
- automatically trigger a profile in your golang (go) application when a condition is matched.☆15Updated 4 years ago
- ☆15Updated 7 years ago
- ☆11Updated 7 years ago
- percentiles for Go benchmarks☆29Updated 6 years ago
- Go packages for adding delay and buffering to network connections☆16Updated 5 years ago
- Go I/O utilities☆53Updated 6 years ago
- A hashmap for Go that uses crypto random seeds, hash hints, open addressing, and robin hood hashing.☆29Updated 5 years ago
- A counter data structure that knows when to start estimating to save space☆35Updated 7 years ago
- Go implementation of the randomized algorithm for quantiles.☆14Updated 7 years ago
- Sliding-LogLog-Beta☆37Updated 7 years ago
- Utilities for interacting with mailgun.com.☆28Updated 5 years ago
- Automatic codegen for encoding/binary marshaling☆17Updated 10 years ago
- Linter for finding defer statements in Go loops☆32Updated 5 years ago
- Generates a GitHub issue description for go-fuzz findings☆11Updated 9 years ago
- State Machine Assisted Testing☆77Updated 5 years ago