Topic · cnf

cnf

Tracked open-source repos tagged cnf, sorted by stars.

Repos

2

Total stars

1,527

Avg. stars

764

Share

0.00%

Topics that frequently appear alongside cnf on the same repo.

Recent risers

Repos created in the last 90 days, tagged cnf.

No new repos tagged with this topic in the last 90 days.

#1
cryptominisat ↗@msoosC++
An advanced SAT solver
★ 940+1Star change over the last 7 days
#2
stp ↗@stpC++
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
★ 588+1Star change over the last 7 days

← Back to topics