Posts | Sylvain Soliman's Den

Opinion

The game of Go

A list of links related to the game of Go

Wed, Oct 22, 2025 • 2 min read

Logical Model

Trappist is a tool for computing minimal trap spaces of a Boolean model.

The `trappist` tool for computing minimal trap spaces is described in [this article](publications/trinhhal-04167028/)

Thu, Nov 30, 2023 • 1 min read

CellDesigner

Inférence automatisée de modèles Booléens à partir de cartes d'interaction moléculaire en utilisant CaSQ

French article about our [CaSQ publication in Bioinformatics](publications/aghamirihal-02590714/)

Mon, May 25, 2020 • 1 min read

CellDesigner

CaSQ: Celldesigner as Sbml-Qual

CaSQ installation and/or running guidelines.

Wed, Aug 29, 2018 • 1 min read

Programming Guidelines

Prolog programming guidelines

This is a set of reasonable guidelines for formatting Prolog programs, freely adapted from Caml guidelines and M. Covington’s Prolog coding guidelines. They aim at reflecting the …

Fri, Mar 16, 2018 • 17 min read

Programming Project

Cyclic Dice Programming Project

Nontransitive dice

Tue, Sep 12, 2017 • 2 min read

Petri Nets

Nicotine

Nicotine Is a COnstraint-based T and p-INvariant Extractor. Besides being a famous alkaloid found in tobacco, Nicotine (Nicotine Is a COnstraint-based T and p-INvariant Extractor) …

Wed, Jan 4, 2017 • 1 min read

Restaurants

Japanese Restaurants in Paris

An old list of (real) Japanese restaurants in Paris (in French)

Wed, Jan 4, 2017 • 1 min read

SICStus Prolog

Creating Prolog executables

I have recently been porting some of my GNU Prolog code to both SWI Prolog and SICStus Prolog. Here is a simple attempt at synthesizing some of what I learnt from that experience, …

Wed, Jan 4, 2017 • 1 min read