There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
This python program takes as input n, and uses z3 SAT solver to proof that if there are n pigeons living in n-1 nests, then at least one nest must contain two or more pigeons.
