Software [old web page]

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. If you use PyDGGA in one of your research projects, please cite us: 
@Article{Ansótegui2021,
    author={Ans{\'o}tegui, Carlos and Pon, Josep and Sellmann, Meinolf},
    title={Boosting evolutionary algorithm configuration},
    journal={Annals of Mathematics and Artificial Intelligence},
    year={2021},
    issn={1573-7470},
    doi={10.1007/s10472-020-09726-y},
    url={https://doi.org/10.1007/s10472-020-09726-y}
}
Download PyDGGA

Educational Software

hlogedu-search
Linux (x64) Documentation Sample Problems Educational tool that lets:
  1. Write well defined search problems
  2. 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

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

Combinatorial Testing

PRBOT-its

SAT-based greedy algorithm to generate High Strength Mixed Covering Arrays with Constraints.

Documentation: Online

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.