diff options
| author | Libor Wagner | 2011-10-07 14:24:29 +0200 |
|---|---|---|
| committer | Adam Vandenberg | 2012-03-30 21:56:15 -0700 |
| commit | 1878019905f41512026d54e07c94a3e7d461b6bc (patch) | |
| tree | 17369a768dfecc5b0cfd33cbd44065d3cec35521 /Library/Formula/transcode.rb | |
| parent | dadcf1c03a023eeac143ee2e57d009a1a74d1e74 (diff) | |
| download | homebrew-1878019905f41512026d54e07c94a3e7d461b6bc.tar.bz2 | |
Minisat 2.2.0
"MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT."
[http://minisat.se]
Closes #8011.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/transcode.rb')
0 files changed, 0 insertions, 0 deletions