~mpu

http://c9x.me

~mpu/satx

sat-solving toying