flamapy-sat is a plugin to flamapy module


Licenses
GPL-3.0/GPL-3.0+
Install
pip install flamapy-sat==2.0.0.dev1

Documentation

pysat_metamodel

This repository will host the pysat metamodel and its operation implementation

Install for development

pip install -e .

Make sure that you have installed python-dev

sudo apt install python-dev #python3-dev in Ubuntu derivatives