# Vulcan

A library for propositional logic and resolution queries.

Currently under active development, using the excellent [https://github.com/pnevyk/llang](lexer and parser from llang).