Unclaimed project

Are you a maintainer of cryptominisat? Claim this project to take control of your public changelog and roadmap.