Software

List of publicly available versions of the software developed at LOG

MaxSAT solvers

PM2-2010
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2012 Medals Bronze Medal 1 MaxSAT Competition 2011 Medals Silver Medal 1 MaxSAT Competition 2010 Medals Silver Medal 1 Bronze Medal 1
WPM1-2012
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2012 Medals Gold Medal 1 Silver Medal 2 MaxSAT Competition 2013 Medals Gold Medal 1 Silver Medal 1
ISAC+
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2015 Medals Gold Medal 4 MaxSAT Competition 2014 Medals Gold Medal 3 Silver Medal 1 Bronze Medal 3 MaxSAT Competition 2013 Medals Gold Medal 6 Silver Medal 4 Bronze Medal 1
WPM1-2010
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2010 Medals Silver Medal 1
WPM-2014-co
Contact by e-mail: carlos@diei.udl.cat
WPM3-2015-co
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2016 Medals Gold Medal 1 Bronze Medal 1 MaxSAT Competition 2015 Medals Silver Medal 1
WPM1-2011
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2011 Medals Gold Medal 2
WPM3-2014-in
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2014 Medals Gold Medal 2 Silver Medal 3
WPM3-2015-in
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2016 Medals Gold Medal 1 Silver Medal 2 Bronze Medal 1 MaxSAT Competition 2015 Medals Gold Medal 3 Silver Medal 1

Algorithm Configurator

PyDGGA
Pure Python implementation of GGA modified to exploit the resources of a distributed computing environment.

Educational Software

hlogedu-search
Educational tool that lets:
  1. Write well defined search problems
  2. Implement search algorithms to run on the defined problems
sudoku2sat
Software skeleton for a simple tool that reduces a Sudoku to a SAT instance.

Libraries & Frameworks

PyPBLib

PBLib bindings for Python 3.

Package available on PyPI

Documentation: Online PDF

Optilog

A Framework for SAT-based Systems

Documentation: Online

pip3 install wheel_file

Utilities

Dot
Linux (x64) Mac (x64)

Dot is part of the open source project graphviz. It is capable of drawing hierarchical or layered directed graphs.