Nishimura, S. (2023). Repository for Approximate-At-Most-k Encoding for SAT (Version 1.0.0) [Computer software]. https://github.com/snisimu/ApproximateAtMostK