http://sat.isa.ru/pdsat/



SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. At the moment we analyze Bivium cipher (weakened version of Trivium cipher).