#Home-page for the LogicParser application.

Introduction

LogicParser is a simple logical expression parser, written in C with GLib and using GTK+/Glade for its gui.

Details

LogicParser is a simple logical expression parser, written in C with GLib/GTK+. It generates a tree from a logical expression, that can be visualized as a TreeView, a DOT graph (from GraphViz), or as an image of a graph.

Here a screenshot of the "Graph (Image)" for the expression !(p1 -> p2) & (p3 | !(p4 | p5)):

Reference

Project Page: http://code.google.com/p/logicparser