Implementation of the core-method. You can descripe a model with propositional logic and parse it to a neural network. The network learns much faster. A method to extract a network in propositional logic is still in work.