[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-hackers] submission of SAT3C - savannah.nongnu.org
|
From: |
gbroos |
|
Subject: |
[Savannah-hackers] submission of SAT3C - savannah.nongnu.org |
|
Date: |
Wed, 31 Mar 2004 08:45:28 -0500 |
|
User-agent: |
Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1) |
A package was submitted to savannah.nongnu.org
This mail was sent to address@hidden, address@hidden
Gustavo Broos <address@hidden> described the package as follows:
License: gpl
Other License:
Package: SAT3C
System name: sat3c
Type: non-GNU
Description:
Experimental programs for solving logic expressions of type 3SAT.
Other Software Required:
bash
Java environment
Other Comments:
Help is needed to make some details work under gcj.
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Savannah-hackers] submission of SAT3C - savannah.nongnu.org,
gbroos <=