Giters

gyankos / Reducer

A SAT-Solver for the DECLAREd Fragment

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

business-process-managementdeclareltlfsat-solver

reducer

About

A SAT-Solver for the DECLAREd Fragment

business-process-managementdeclareltlfsat-solver

License:GNU General Public License v3.0

Languages

Language:C++ 53.7%Language:C 27.6%Language:Python 9.3%Language:Shell 8.8%Language:CMake 0.6%