This is the home of a few solvers for various problems.

About me

Anders Franzén received his MSc in computer science and engineering in 2004 from Chalmers University. He received his PhD in computer science from the University of Trento in 2010.

He has also managed to work in the industry developing software ranging from analysis of DNA microarray data to formal verification.

You can find a CV here

DBLP record

Contact

You can reach me by email at anders @ this domain