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

To request a license, please write to carlos.ansotegui@gmail.com

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{alos_et_al:LIPIcs.SAT.2022.25,
author = {Al\`{o}s, Josep and Ans\'{o}tegui, Carlos and Salvia, Josep M. and Torres, Eduard},
title = {{OptiLog V2: Model, Solve, Tune and Run}},
booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)},
pages = {25:1--25:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-242-6},
ISSN = {1868-8969},
year = {2022},
volume = {236},
editor = {Meel, Kuldeep S. and Strichman, Ofer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16699},
URN = {urn:nbn:de:0030-drops-166996},
doi = {10.4230/LIPIcs.SAT.2022.25},
annote = {Keywords: Tool framework, Satisfiability, Modelling, Solving}
}

Documentation: Online

Installation: pip3 install optilog

Combinatorial Testing

SAT-Based Combinatorial Testing in Python.

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

@article{DBLP:journals/corr/abs-2105-12552,
title = {Incomplete {MaxSAT} approaches for combinatorial testing},
volume = {28},
issn = {1572-9397},
url = {https://doi.org/10.1007/s10732-022-09495-3},
doi = {10.1007/s10732-022-09495-3},
language = {en},
number = {4},
urldate = {2022-09-02},
journal = {Journal of Heuristics},
author = {Ansótegui, Carlos and Manyà, Felip and Ojeda, Jesus and Salvia, Josep M. and Torres, Eduard},
month = aug,
year = {2022},
keywords = {Combinatorial testing, Constraint programming, Maximum satisfiability},
pages = {377--431}
}

Documentation: Online

Installation instructions here.

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)