CryptoMiniSAT

Tool

First seen 7/17/2026

Last seen 9/7/2026

Evidence 4 chunks

NEIGHBORHOOD

4 nodes · 4 edges

graph · CryptoMiniSAT · depth=1

3 connections

UniGen ← uses 100% 2e

UniGen's BSAT procedure is implemented using CryptoMiniSAT, a SAT solver with XOR clause handling.

GenerateSamples invokes CryptoMiniSAT (via BSAT calls) to solve SAT queries.

UniGen2 ← uses 100% 1e

UniGen2 employs CryptoMiniSAT as its underlying SAT solver.