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:1 MaxSAT Competition 2011 Medals:
1 MaxSAT Competition 2010 Medals:
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2010 Medals:
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2011 Medals:2
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2012 Medals:
Contact by e-mail: carlos@diei.udl.cat
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2014 Medals:
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2015 Medals:
MaxSAT Competition 2014 Medals:
MaxSAT Competition 2013 Medals:
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2016 Medals:
MaxSAT Competition 2015 Medals:
Contact by e-mail: carlos@diei.udl.cat
MaxSAT Competition 2016 Medals:
MaxSAT Competition 2015 Medals:
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}
}
To request a license, please write to carlos.ansotegui@gmail.com
Epidemic-GGA
This project provides a template and a running environment for executing and calibrating epidemic models using PyDGGA.
Educational Software
Educational tool that lets:
- Write well defined search problems
- 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
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)