Các kho mã nguồn mở đang theo dõi của sarsko, sắp xếp theo số sao.
CreuSAT - Một bộ giải SAT được xác minh hình thức viết bằng Rust và được xác minh bằng Creusot.
