Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.612.903 Times

Cnf software
 

Cnf

Added: May 10, 2013 | Visits: 194

random 3 CNF problem generator Given the number of literals and clauses, this script returns a randomly generated 3-CNF sentence composed of clauses in the form of lists of tuples. The first number in the tuple is the literal; the second number is its truth value.



Platforms: Windows, Mac, *nix, Python, BSD Solaris

License: Freeware Download (27): random 3 CNF problem generator Download

Released: January 31, 2010  |  Added: April 16, 2010 | Visits: 2.166

Logic Minimizer Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...





Platforms: Windows, Other

License: Shareware Cost: $22.95 USD Size: 6.92 MB Download (407): Logic Minimizer Download

Released: September 22, 2012  |  Added: September 22, 2012 | Visits: 435

Logic Min Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...


Platforms: Windows

License: Shareware Cost: $22.95 USD Size: 6.86 MB Download (95): Logic Min Download

Added: October 16, 2013 | Visits: 206

BoolVar/PB BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients and 0/1 variables. They can be used for modelling a number of problems in the area of time-table design, planning, resource...


Platforms: Mac

License: Freeware Size: 748.54 KB Download (16): BoolVar/PB Download

Released: January 03, 2014  |  Added: January 03, 2014 | Visits: 75

Indian Railways PNR Indian Railways PNR Application - An easy to use tool to retrieve PNR (Passenger Name Record) status from IRCTC servers. Gives you the current information about your ticket. * THIS IS NOT AN OFFICIAL APPLICATION Status codes: CNF / Confirmed - Confirmed (Coach/Berth number will be available...


Platforms: Windows Phone

License: Freeware Size: 1024 KB Download (7): Indian Railways PNR Download

Added: May 26, 2006 | Visits: 3.041

DoneEx INI-File Manager This library allows you manipulate with INI-file by the easiest way from any programming language. You can create new or load existed INI-file and manage sections and keys in it. You can produce action with sections and keys of INI-file as: - search, add, delete sections and keys - retrieve,...


Platforms: Windows, Palm OS, Windows CE

License: Shareware Cost: $19.99 USD Size: 180 KB Download (124): DoneEx INI-File Manager Download

Added: November 17, 2006 | Visits: 2.851

FrontPage Garbage When you create a new web folder, FrontPage automatically creates a hidden folders for different options. When you finished web site and used simply html, this hidden folders can be removed. Microsoft FrontPage creates this folders for a web: 1) The '_private' folder for storing form results...


Platforms: Windows

License: Freeware Size: 180 KB Download (227): FrontPage Garbage Download

Released: December 28, 2006  |  Added: March 04, 2007 | Visits: 3.311

DoneEx INI-File Manager DLL This library allows you manipulate with INI-file by the easiest way from any programming language. You can create new or load existed INI-file and manage sections and keys in it. You can produce action with sections and keys of INI-file as: - search, add, delete sections and keys -...


Platforms: Windows

License: Shareware Cost: $19.99 USD Size: 165.98 KB Download (148): DoneEx INI-File Manager DLL Download

Added: August 21, 2010 | Visits: 814

IMAP::Admin IMAP::Admin is a Perl module for basic IMAP server administration. SYNOPSIS use IMAP::Admin; $imap = IMAP::Admin->new(Server => name.of.server.com, Login => login_of_imap_administrator, Password => password_of_imap_adminstrator, Port => port# (143 is default), Separator => ".", #...


Platforms: *nix

License: Freeware Size: 14.34 KB Download (73): IMAP::Admin Download

Added: October 22, 2010 | Visits: 510

JoeDog::Config JoeDog::Config provides a perl extension for parsing data/configuration file. It reads columns, key-value pairs, and INI style config files into arrays, hashes and hashes of hashes. It can take characters or regexes for separators. ABSTRACT: This is a autoloadable module which allows the...


Platforms: *nix

License: Freeware Size: 14.34 KB Download (70): JoeDog::Config Download

Released: October 09, 2012  |  Added: October 29, 2012 | Visits: 602

Karnaugh Map Analyzer (Windows) Karnaugh Map Analyzer (KMA) is an innovative, versatile application for simplifying Karnaugh maps and Boolean expressions. It is geared for those involved in engineering fields, more precisely electrical engineering students, academics, digital devices constructors or anybody involved with...


Platforms: Windows, Other

License: Shareware Cost: $19.99 USD Size: 18.43 MB Download (105): Karnaugh Map Analyzer (Windows) Download

Released: October 06, 2012  |  Added: October 31, 2012 | Visits: 882

Karnaugh Map Analyzer (Linux) Karnaugh Map Analyzer (KMA) is an innovative, versatile application for simplifying Karnaugh maps and Boolean expressions. It is geared for those involved in engineering fields, more precisely electrical engineering students, academics, digital devices constructors or anybody involved with...


Platforms: *nix

License: Shareware Cost: $19.99 USD Size: 241.84 KB Download (76): Karnaugh Map Analyzer (Linux) Download

Added: May 10, 2013 | Visits: 189

MySQLBackup .06 Beta Each database can be restored via the MySQL command line tool by calling gzipped archive.The tables of each database being backed up are locked, preserving data integrity. While this does temporarily prevent writes to the tables, the impact is reduced by backing up each database separately.This...


Platforms: Windows, Mac, *nix, Perl, BSD Solaris

License: Freeware Download (29): MySQLBackup .06 Beta Download

Added: May 10, 2013 | Visits: 199

ht://Check ht://Check is a link checker application. It's particularly suitable for checking broken links, anchors and web accessibility barriers, but retrieved data can also be used for Web structure mining.Features: - HTTP/1.1 compliant with persistent connections and cookies support - HTTP Basic...


Platforms: Mac, *nix, C/C++, BSD Solaris

License: Freeware Download (29): ht://Check Download

Added: May 17, 2013 | Visits: 211

MySQLBackup Script Each database can be restored via the MySQL command line tool by calling gzipped archive.The tables of each database being backed up are locked, preserving data integrity.While this does temporarily prevent writes to the tables, the impact is reduced by backing up each database separately.This...


Platforms: CGI and Perl

License: Freeware Size: 10 KB Download (18): MySQLBackup Script Download

Added: November 22, 2013 | Visits: 193

MDVI MDVI aims to provide a library that can be used to implement DVI drivers easily. A DVI driver is included, and uses the X Window System to display files. However, MDVI is in its very early stages of development. In fact, as of this writing (May 2001), it is less than four months old. You will...


Platforms: *nix

License: Freeware Size: 256 KB Download (17): MDVI Download

Added: November 29, 2013 | Visits: 245

mysqlconf mysqlconf is a Linuxconf module to help you configure MySQL database. It currently supports basic configuration like creating/destroying databases and users. It also allows to configure a few parameters in the my.cnf file.


Platforms: *nix

License: Freeware Size: 10.24 KB Download (18): mysqlconf Download

Added: September 07, 2013 | Visits: 174

StoneVPN StoneVPN is an application that makes it easy to create certificates and configuration files for use with an OpenVPN server for both Linux and Windows users. Installation: - run 'python setup.py install' as root - copy /usr/share/StoneVPN/example/stonevpn.conf to /etc - Make the necessary...


Platforms: *nix

License: Freeware Size: 30.72 KB Download (18): StoneVPN Download

Released: August 02, 2015  |  Added: August 05, 2015 | Visits: 428

VertrigoServ Apache PHP WAMP server VertrigoServ was developed to make available a highly professional and easily installable package of Apache, PHP, MySQL and PhpMyAdmin for Windows platform. With a convenient all-in-one installer, all components are installed in a single directory and can be used immediately after the...


Platforms: Windows, Windows 7, Windows Server

License: Freeware Size: 29.5 MB Download (28): VertrigoServ Apache PHP WAMP server Download