Sarek Høverstad Skotåm

icon company Amazon Web Services icon location Seattle icon location Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.

Results 1 repositories owned by Sarek Høverstad Skotåm

CreuSAT

591
Stars
10
Forks
Watchers

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

verified publisher icon sarsko