fuzzy-sat

(★ 22)

An approximate solver for concolic execution

fuzzy-sat Latest Version Download

Download Latest Version (.zip)

Today's picks

ComfyUI ★ 127,939

The most powerful and modular diffusion model GUI, api and backend with a graph/nodes inte

Python
awesome-vue ★ 73,543

🎉 A curated list of awesome things related to Vue.js
lazygit ★ 81,379

simple terminal UI for git commands

Go
ollama ★ 178,706

Get up and running with Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and ot

Go
odysseus ★ 85,470

Self-hosted AI workspace.

Python
react-native ★ 126,357

A framework for building native applications using React

C++
// repository documentation