Giters

RustemB / unlogic

Disjunctive normal form solver

Home Page:https://rustemb.is-a.dev/unlogic/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dnflogical-operatorselm

unlogic - Disjunctive normal form solver

About

Disjunctive normal form solver

https://rustemb.is-a.dev/unlogic/

dnflogical-operatorselm

License:GNU General Public License v3.0

Languages

Language:HTML 97.3%Language:Elm 2.7%Language:Makefile 0.0%