hpsat

Description:A sat solver. It tries to find an assignment of values to the variables of a Boolean formula in CNF such that all the constraints are satisfied. Written in C for the 50g only.
Filename:hpsat.zip
ID:7249
Current version:1.0
Author:Patrick Offret
Downloaded file size:130,244 bytes
Size on calculator:51 KB
Platforms:49/50  
User rating:10/10 with 1 vote (you must be logged in to vote)
Primary category:Apps/Misc
Languages:ENG  
File date:2010-12-15 22:16:14
Source code:Included
Download count:721
Version history:2010-12-15: Added to site
Archive contents:
  Length     Date   Time    Name
 --------    ----   ----    ----
        0  12-15-10 19:59   HPSAT/
    16772  06-22-99 20:16   HPSAT/ais8.cnf
    66390  02-21-98 14:56   HPSAT/hanoi4.cnf
    42307  10-16-10 10:58   HPSAT/hpsat.c
    50722  10-16-10 11:01   HPSAT/hpsat.hp
   162497  10-16-10 16:47   HPSAT/hpsat.rtf
   149856  10-13-10 05:41   HPSAT/qg3-08.cnf
     1360  10-16-10 02:54   HPSAT/SC1.gif
     1447  10-16-10 03:03   HPSAT/SC2.gif
   164460  08-29-10 08:46   HPSAT/sdk5.cnf
 --------                   -------
   655811                   10 files
Screenshot:Screenshot
User comments:

No comments at this time.

You must be logged in to add your own comment.


Part of the HP Calculator Archive,
Copyright 1997-2024 Eric Rechlin.