Software

ParaLog and PySAT-RC2-ParaLog: Qualitative paraconsistency reasoners for unsatisfiable IA and RCC8 networks written in pure Python, a greedy constraint-based and an optimal SAT-based one respectively | testing dataset

DeComp and PySAT-RC2-DeComp: Qualitative decomposers (into satisfiable components) for unsatisfiable IA and RCC8 networks written in pure Python, a greedy constraint-based and an optimal SAT-based one respectively | testing dataset

PySAT-RC2-Repair: Qualitative repairer for unsatisfiable IA and RCC8 networks written in pure Python, built on PySAT and the qcn2sat translation script of Matthias Westphal and Julien Hué | testing dataset

GreedySaturation and OptimalSaturation: Qualitative repairers for unsatisfiable IA and RCC8 networks written in pure Python, a greedy and an optimal one respectively | testing dataset

Phalanx▽-MLP: Qualitative minimal labeler for IA and RCC8 networks written in pure Python

PyrrhusPPC: An efficient algorithm implementation for enforcing partial path consistency on distributive IA and RCC8 networks written in pure Python | random testing dataset | real testing dataset

Pyrrhus: A variable elimination algorithm implementation for enforcing directional path consistency on IA and RCC8 networks written in pure Python

Delphys, Delphys▽: Algorithm implementations for extracting non-redundant relations in distributive RCC8 networks written in pure Python | testing dataset | decomposed testing dataset

Crito, and Medusa: Qualitative repairers for unsatisfiable IA and RCC8 networks written in pure Python

Decomposer: A decomposer of IA and RCC8 networks into their biconnected components written in pure Python | testing dataset

IA random instances generator and RCC8 random instances generator: IA and RCC8 generators for scale-free-like network instances written in pure Python, based on the Barabási-Albert (BA) model

Peltast▽: A vertex incremental partial path consistency implementation for IA and RCC8 networks written in pure Python | random testing dataset | real testing dataset

Peltast: A vertex incremental path consistency implementation for IA and RCC8 networks written in pure Python | testing dataset

Phalanx, Phalanx▽, and Sarissa: Qualitative reasoners for IA and RCC8 networks written in pure Python | testing dataset

LXC collectd plugin: An LXC plugin for collectd written in pure Python, works for Fedora 16+, can be adjusted easily for other distros too

LXC data poller: A Python module to poll data from LXC containers in Fedora 16+

PyRCC8: An RCC8-based qualitative spatial reasoner written in pure Python

SiVaC: A graph compression algorithm for large-scale web-like graphs (web/social networks/citation graphs) written in pure Python

NQueens: A CSP framework for educational purposes written in C++

eStore: An eCommerce implementation written in Java