FunctionHood: Compute direct neighbours of any monotone Boolean Function
This project aims to, given a Boolean function, compute its direct neighbours in the Partially Ordered Set of monotone Boolean functions, without the need to generate the whole set. The set-representation is used to specify monotone Boolean functions.
How to use it?
To compile it you will need is java6 JDK and maven.
- grab the source from github
- compile and package it:
- you can use the jar in the "target" subdirectory:
You can either integrate the .jar file in your tool, or launch the GUI to compute immediate neighbour functions, as follows:
java -jar FunctionHood.jar
This code is available under GPL-3.0.
This work is available on arXiv: https://arxiv.org/abs/1901.07623.
Pedro T. Monteiro http://pedromonteiro.org/
Claudine Chaouiya https://claudine-chaouiya.pedaweb.univ-amu.fr/