Các kho mã nguồn mở đang theo dõi của berkeley-abc, sắp xếp theo số sao.
ABC: Hệ thống tổng hợp logic tuần tự và kiểm chứng hình thức
