Softwares

---

AAN-reach

AAN-reach (Asynchronous Automata Networks REACHability) is a tool that solves reachability problems for the formalism of Automata Networks. It provides a general logic formula (Conjunctive Normal Form) encoder to perform Bounded Model Checking and static analysis algorithm by connection to SAT solvers. More.

• platform : Linux
• language : C++
• git repository : https://github.com/smbct/AAN-reach

LOLH

LOLH (Learning Optimized Logical Hypothesis) is a machine learning tool developed to extract features from genomics data. It implements an optimization algorithm to infer logic rules that helps the study of combined expressions of large number of genes. More.

• platform : Linux
• language : Python, C++
• git repository : https://github.com/smbct/LOLH
• zenodo repository : https://doi.org/10.5281/zenodo.4738850

Two-phase solver (Graphical Models) :

The two-phase solver for Discrete Graphical Models is an anytime solver for bi-objective combinatorial optimization problems expressed on Discrete Graphical Models. It is implemented on top of single-objective solvers (currently ToulBar2 and CPLEX) and allows to compute lower and upper bound sets on the Pareto Front of the problems. More.

• platform : Linux
• language : C++
• git repository : https://forgemia.inra.fr/samuel.buchet/tb2_twophase

Boond

Boond (Bi-Objective Optimization for Negative protein Design) is a bi-objective discrete optimization tool based on the Toulbar2 solver to solve Computational Protein Design problems. It performs the optimization of protein sequences through the use of an energy function by relying on both exact and heuristic algorithms. <a href”=/personal_page/work/biobjective_optimization”>More</a>.

• platform : Linux
• language : C++
• git repository : https://forgemia.inra.fr/samuel.buchet/boond