pepeiborra

Pepe Iborra's repositories

A library for working with Term Rewriting Systems

Language:Haskell5 70

Utilities for automatic parsing and conversion of TRSs in several formats

Language:HaskellNOASSERTION300

This is a fork of satchmo: SAT encoding monad (http://dfa.imn.htwk-leipzig.de/satchmo/)

Language:Haskell2 40

Fork of the satchmo-backends project (http://dfa.imn.htwk-leipzig.de/satchmo/)

Language:Haskell200

Simple type families based Tries and Bitries

Language:HaskellNOASSERTION200

A simple type class for success/failure computations.

Language:Haskell100

Fork of the circuit language and CNF representation in Funsat (Denis Bueno), with the goal of making the representation more easily extendable.

100