Software

List of publicly available versions of the software developed at LOG

MaxSAT solvers

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
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
WPM-2014-co
Contact by e-mail: carlos@diei.udl.cat
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
WPM1-2010
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2010 Medals Silver Medal 1
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
WPM3-2014-in
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2014 Medals Gold Medal 2 Silver Medal 3
WPM1-2011
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2011 Medals Gold Medal 2
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

Algorithm Configurator

DGGA
Distributed Gender-Based Genetic Algorithm (DGGA) configurator for constraint programing and machine learning algorithms Contact by e-mail: carlos@diei.udl.cat

Educational Software

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

Libraries & Frameworks

PyPBLib
Package available on PyPI (PBLib bindings for Python 3) Documentation: Online PDF

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.