https://github.com/maelvls/rareqs

git import of the rareqs project
https://github.com/maelvls/rareqs

Last synced: 26 days ago
JSON representation

git import of the rareqs project

• Host: GitHub
• URL: https://github.com/maelvls/rareqs
• Owner: maelvls
• License: other
• Created: 2017-11-12T14:46:21.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2017-11-12T14:46:39.000Z (almost 7 years ago)
• Last Synced: 2024-05-02T02:04:51.355Z (6 months ago)
• Language: C++
• Homepage:
• Size: 119 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.txt
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
USAGE: rareqs [OPTIONS] filename

  'v': increase verbosity 

  'i': use incremental solver 

  'u': use unit propagation 

  'h l': start using incremental solver for levels <= l  

  'b': use blocking

  'p': use pure literal rule

  'r': use universal reduction

NOTES:

  If filename is '-', formula is read from the standard input.

  Options are given in in the standard getopt format. 

RECOMMENDED OPTIONS:

 -uupbh3