This code accompanies the paper
Adaptive Hashing for Model Counting
Jonathan Kuck, Tri Dao, Shenjia Zhao, Burak Bartan, Ashish Sabharwal, Stefano Ermon
Uncertainty in Artificial Intelligence (UAI), 2019
Code based on https://github.com/ptheod/F2