OGR to SAT
- From: Thorsten Kiefer <toki782@xxxxxxxxxxxxxxxx>
- Date: Sun, 18 Feb 2007 23:55:34 +0100
Hi,
do you know the SAT-problem ? And do you know the OGR-problem ?
I wrote a toy program which converts OGR to SAT.
http://nillakaes.de/satprob.tgz
Maybe somebody is interested ;)
Best regards
Thorsten
.
- Prev by Date: THEOREM: I <= 4M in GF(p^n)
- Next by Date: language theory regarding Perl/Ruby in universities ?
- Previous by thread: THEOREM: I <= 4M in GF(p^n)
- Next by thread: language theory regarding Perl/Ruby in universities ?
- Index(es):
