Due to an influx of spam, we have had to temporarily disable account registrations. Please write an email to accountsupport@archlinux.org, with your desired username, if you want to get access. Sorry for the inconvenience.

C

cryptominisat

Project ID: 69455

A modern, multi-threaded, feature-rich, simplifying SAT solver

packages: cryptominisat

Find file

Admin message

cryptominisat

Download source code