Software

List of publicly available versions of the software developed at LOG


MaxSAT solvers

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

Contact by e-mail: carlos@diei.udl.cat

MaxSAT Competition 2010 Medals: Silver Medal 1

Contact by e-mail: carlos@diei.udl.cat

MaxSAT Competition 2011 Medals: Gold Medal 2 

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

Contact by e-mail: carlos@diei.udl.cat

Contact by e-mail: carlos@diei.udl.cat

 MaxSAT Competition 2014 Medals: Gold Medal 2 Silver Medal 3 

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

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

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

Automatic algorithm configuration

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

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

Libraries & Frameworks

PBLib bindings for Python 3.

If you use PBLib in one of your research projects, please cite us:
@InProceedings{10.1007/978-3-030-80223-3_1,
author="Ans{\'o}tegui, Carlos
and Ojeda, Jes{\'u}s
and Pacheco, Antonio
and Pon, Josep
and Salvia, Josep M.
and Torres, Eduard",
editor="Li, Chu-Min
and Many{\`a}, Felip",
title="OptiLog: A Framework for SAT-based Systems",
booktitle="Theory and Applications of Satisfiability Testing -- SAT 2021",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="1--10",
abstract="We present OptiLog, a new Python framework for rapid prototyping of SAT-based systems. OptiLog allows to use and integrate SAT solvers currently developed in C/C++ just by implementing the iSAT C++ interface. It also provides a Python binding to the PBLib C++ toolkit for encoding Pseudo Boolean and Cardinality constraints. Finally, it leverages thepower of automatic configurators by allowing to easily create configuration scenarios including multiple solvers and encoders.",
isbn="978-3-030-80223-3"
}
Package available on PyPI

Documentation: Online | PDF

A Framework for SAT-based Systems.

If you use OptiLog in one of your research projects, please cite us:

@InProceedings{10.1007/978-3-030-80223-3_1,
author="Ans{\'o}tegui, Carlos
and Ojeda, Jes{\'u}s
and Pacheco, Antonio
and Pon, Josep
and Salvia, Josep M.
and Torres, Eduard",
editor="Li, Chu-Min
and Many{\`a}, Felip",
title="OptiLog: A Framework for SAT-based Systems",
booktitle="Theory and Applications of Satisfiability Testing -- SAT 2021",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="1--10",
abstract="We present OptiLog, a new Python framework for rapid prototyping of SAT-based systems. OptiLog allows to use and integrate SAT solvers currently developed in C/C++ just by implementing the iSAT C++ interface. It also provides a Python binding to the PBLib C++ toolkit for encoding Pseudo Boolean and Cardinality constraints. Finally, it leverages thepower of automatic configurators by allowing to easily create configuration scenarios including multiple solvers and encoders.",
isbn="978-3-030-80223-3"
}

Documentation: Online
Python Wheels

pip3 install wheel_file

Combinatorial Testing

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

Accepted in CP2021. If you use PRBOT-its in one of your research projects, please cite us:

@article{DBLP:abs-2105-12552,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}} and
Jesus Ojeda and
Josep M. Salvia and
Eduard Torres},
title = {Incomplete MaxSAT Approaches for Combinatorial Testing},
journal = {arXiv},
volume = {abs/2105.12552},
year = {2021},
url = {https://arxiv.org/abs/2105.12552},
archivePrefix = {arXiv},
eprint = {2105.12552},
timestamp = {Tue, 01 Jun 2021 18:07:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-12552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}

Documentation: Online

Utilities

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

Download: Linux (x64) | Mac (x64)