Home My Page Projects SMT Preprocessor
Summary Activity Tracker Lists Tasks News SCM Mediawiki

Project Information

Registered: 2015-01-19 08:04
Activity Ranking: 0
View project Statistics or Activity
View list of RSS feeds available for this project.
Public Tools
Tracker  Tracker
Mailing Lists (0 public mailing lists)
There are no subprojects available
SCM Repository (Git: 438 updates, 60 adds)
Project description

This tool preprocesses formulas. Examples of preprocessing methods are, obfuscation, symmetry breaking, push-pop simulation.