Topic · sat

sat

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

Repos

3

Total stars

3,365

Avg. stars

1,122

Share

0.00%

Topics that frequently appear alongside sat on the same repo.

Recent risers

Repos created in the last 90 days, tagged sat.

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

#1
english-vocabulary ↗@KyleBing
英文单词，英语单词，四六级 CET4 CET6、考研、SAT单词，txt 文件, json 文件
★ 1,898+28Star change over the last 7 days
#2
Factorio-SAT ↗@R-O-C-K-E-TPython
Enhancing the Factorio experience with SAT solvers
★ 774+0Star change over the last 7 days
#3
CreuSAT ↗@sarskoRust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
★ 696+5Star change over the last 7 days

← Back to topics