mookichi's starred repositories
kissat_extras
A fork of the Kissat SAT solver with additional features. Supports incremental solving.
Electrum2
Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.