Over the past years I contributed to the following sofware products/tools:

IBM Data Science Experience

IBM Data Science Experience: Master the art of data science. Solve your toughest data challenges with the best tools and the latest expertise in a social environment built by data scientists.

Microsoft Solver Foundation

Microsoft Solver Foundation is a .NET solution for mathematical optimization and modeling. Solver Foundation makes it easier to build and solve real-world optimization models by providing a .NET API and runtime for model creation, reporting, and analysis; a declarative language (OML) for model specification; and powerful built-in solvers.



The G12 project develops a constraint programming platform for solving large scale industrial combinatorial optimisation problems. Additional information like documentation, downloads, and a online software demonstration can be found here.




In addition, the following software is available:

  • A simple QBF solver called MiniQBF (based on MiniSAT ) is available here.
  •    This project is not yet completed.

  • Software of the QBF solver 2clsQ
        - 1st Place QBF Competition 2006 (also using the solver Quantor [Armin Biere]).
  • Software of the QBF solver SQBF
        - 3rd Place QBF Competition 2006 (also using the solver Quantor [Armin Biere]).
  • Software of the Preprocessor Prequel for QBFs.

  •    All Software is available here .

    Contact Information
    Email: samulowitz@us.ibm.com
    Post: IBM TJ Watson Research Center, 1101 Kitchawan Road, New York 10598, USA
    Web: http://www.cs.toronto.edu/~horst/