Reservoir

rebryant/model-counting

Research on verified model counting

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

model-counting

This repository consists of programs on benchmarks to support research on verified model counting.