taskSavannah Administration - Tasks: task #5246, Submission of NI

 
 

task #5246: Submission of NI

Submitter:  Michael Jumper <zhangmaike>
Submitted:  Thu 09 Feb 2006 08:43:37 PM UTC
   
 
Should Start On:  Thu 09 Feb 2006 12:00:00 AM UTC Should be Finished on:  Sun 19 Feb 2006 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Done Privacy:  Public
Assigned to:  kickino Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Sun 19 Feb 2006 09:51:48 PM UTC, comment #3: 

Heh. Oops...

I'll make the change.

Many thanks.

Michael Jumper <zhangmaike>
Sun 19 Feb 2006 08:02:57 PM UTC, comment #2: 

Hi,
I'm evaluating the project you submitted for approval in Savannah.


One short hint:
"NI is free software;"
"NI is distributed"
"along with Foobar; if not," <- you should change this in your source code, too. ;-)

Beside it, the source and dependence of your project looks okay so


I have approved your project.  You will receive an automated e-mail containing detailed information about the approval.

Regards.

Sebastian Wieseler <kickino>
Fri 10 Feb 2006 04:49:12 AM UTC, comment #1: 

I suppose I should have mentioned the programming language used...

The program is written entirely in C++, and compiles quite nicely with GNU g++ and a single Makefile.

Michael Jumper <zhangmaike>
Thu 09 Feb 2006 08:43:37 PM UTC, original submission:  

A new project has been registered at Savannah
The project account will remain inactive until a site admin approve or discard the registration.


######### REGISTRATION ADMINISTRATION #########

While this item will be useful to track the registration process, approving or discarding the registration must be done using the specific "Group Administration" page, accessible only to site administrators, effectively logged as site administrators (superuser):

  <https://savannah.gnu.org/admin/groupedit.php?group_id=8349>


######### REGISTRATION DETAILS #########

Full Name:
----------
  NI

System Group Name:
-----------------
  not-intractable

Type:
-----
  non-GNU software & documentation

License:
--------
  GNU General Public License V2 or later

Description:
------------
  NI is a boolean algebra program which represents truth tables in a more optimized way, allowing it to represent and compare boolean functions involving hundreds of variables. Many problems involving large numbers of variables are intractable with truth tables, since the complexity of the problem is always 2^n for n variables. The complexity of the same problem using NI's specialized representation only approaches 2^n as the boolean function itself increases in complexity, but most functions which would previously be considered intractable are now “not intractable? (the meaning of the acronym NI).

On my 3 GHz P4 machine running GNU/Linux under 1 GB of RAM, it takes NI an average of around 30-40 seconds to compute the truth tables for randomly generated boolean functions involving 250 variables and 1024 operations selected from AND, OR, NOT, NAND, and XOR. NI will parse input from stdin, as well as from a file (for use with scripts). So far, the only known bugs involve input parsing and are trivial. The internal boolean algebra routines that do the actual math have been stable for at least a month now, failing no test cases.

The current source can be downloaded from:
http://64.85.234.190:5680/ni.tar.gz


Other Software Required:
------------------------
  GNU readline library
ncurses (because of readline)
might depend on libpthread in the future


Michael Jumper <zhangmaike>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

 

Follow 4 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2006-02-19 kickino StatusNone Done
    Assigned toNone kickino
    Percent Complete0% 100%
    Open/ClosedOpen Closed

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code