Hacker GitHub

← All repos

sarsko/CreuSAT

View on GitHub ↗ ★ 708 Rust

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2022-06-17 · latest 2025-02-10

Mentions per year 3 mentions · busiest year 2022 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 315
    CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
    story by ingve · 2022-06-17 · 72 comments
  2. ▲ 2
    CreuSAT: A formally verified SAT solver written in Rust
    story by todsacerdoti · 2022-06-17 · 0 comments