Cnf
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 (51): random 3 CNF problem generator Download |
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 (827): Logic Minimizer Download |
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 (520): Logic Min Download |
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 (36): BoolVar/PB Download |
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 (147): DoneEx INI-File Manager Download |
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 (246): FrontPage Garbage Download |
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 (190): DoneEx INI-File Manager DLL Download |
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 (93): IMAP::Admin Download |
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 (88): JoeDog::Config Download |
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 (61): MySQLBackup .06 Beta Download |
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 (52): ht://Check Download |
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 (44): MySQLBackup Script Download |
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 (43): MDVI Download |
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 (37): StoneVPN Download |
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 (62): VertrigoServ Apache PHP WAMP server Download |