Skip to content

From projects.informatik.uni-freiburg.de/projects/dqbf/files

Notifications You must be signed in to change notification settings

meelgroup/hqspre

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Preprocessor for DQBF
Version 1.0 (2016-10-21)

Copyright 2016 by
    Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
    Albert-Ludwigs-Universitaet Freiburg
    Georges-Koehler-Allee 51
    79110 Freiburg im Breisgau
    Germany
    wimmer@informatik.uni-freiburg.de (Ralf Wimmer)

This program is released under the version 3 of the 
GNU Lesser General Public License 
(LGPLv3, see https://www.gnu.org/licenses/lgpl-3.0.en.html)


This requires the Boost C++ libraries, in particular
    boost-program_options
    boost-iostreams


After successful compilation, the subdirectory src contains the binary
preprocess. Calling
    ./src/preprocess -h
prints the list of available command line options.

About

From projects.informatik.uni-freiburg.de/projects/dqbf/files

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published