CircTex
- CircTex creates a circuit for a given boolean expression with variable inputs. ( user named )
- Intractive Haskell based command line application.
- Due to Haskell's versatility the code can be easily modified for different purposes.
- Multiple useful functions are implemented, all being marked in the modules.
Symbols and precedence
Symbol precedence is from top to bottom. Parentheses are supported.
!- logic not*- logic and+- logic or*!- logic nand+!- logic nor^.- logic xor^!- logic xnor
Modules and extensions
Note you can find internal useful functions. Internal libraries are also marked and separated inside the files.
- Logic - In this we define the basic expression classes. An evaluator is also provided and can be used via GHCi running the Main.hs file.
- DNF - Module that supports minterm calculation and expression grouping functions.
- Circuit - This module implements circuit generation out of expressions.
- Draw - Converts the circuit to a single string containing TeX code.
- Format - Formats the circuit by given parameters found inside the last section of the file.
- Parser - Expression parser. Symbols and precedence can be modifed by preference inside the file.
- Main - used for running
Install
Download and unzip the files.
Type following terminal commands:
chmod +x ./Installer.sh
chmod +x ./Main.sh
sudo ./Installer.sh
Running
Run from terminal:
chmod +x ./Main.sh
./Main.sh
For quitting use Ctrl+C.
Example
> ((a + !b) *! (!a +! b)) ^! ((a * c) ^. (d * c))
