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:

@InProceedings{ansotegui_et_al:LIPIcs.CP.2021.12,
author = {Ans\'{o}tegui, Carlos and Ojeda, Jes\'{u}s and Torres, Eduard},
title = {{Building High Strength Mixed Covering Arrays with Constraints}},
booktitle = {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)},
pages = {12:1--12:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-211-2},
ISSN = {1868-8969},
year = {2021},
volume = {210},
editor = {Michel, Laurent D.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15303},
URN = {urn:nbn:de:0030-drops-153036},
doi = {10.4230/LIPIcs.CP.2021.12},
annote = {Keywords: Combinatorial Testing, Covering Arrays, Maximum Satisfiability}
}
@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

Satellite Imaging

SentinelDownloaderWS is a web service within a Docker image that allows to download Sentinel satellite images from the Copernicus European service. Please read the included README file for configuration and usage.

Download: Dockerfile (zip)

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)