random 3 CNF problem generator 1.0

Date Added: May 10, 2013 | Visits: 385

Report Broken Link
Printer Friendly Version

Product Homepage
Download (51 downloads)

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.

Requirements: No special requirements

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

Keyword: 3 Cnf Problem, 3-cnf Sentence, Generator, Lists, Lists Of Tuples, Tuples

Users rating: 0/10

License: Freeware

USER REVIEWS

More Reviews or Write Review

RANDOM 3 CNF PROBLEM GENERATOR RELATED

Action Games - Heli Attack 3 1.0 With 16 levels of gameplay, 32 weapons, 3 powerups and an unlimited supply of white knuckle action, Heli Attack 3 fully satisfies your appetite for explosive ground-to-air helicopter combat action.Also featuring a complete training mission, plenty...	4.86 MB
Games - 3 Days: Zoo Mystery for Mac OS 1.0 3 Days: Zoo Mystery finds five of the world's most unique animals stolen! Help Anna track down and return these rare animals to her uncle's zoo. The ultra-picky zoo inspectors are on their way, so you will only have three days to solve this...	46 MB
Puzzles - 3 Card Klondike Solitaire 3.0 Three Pass 3 Card Klondike Solitaire is loads of fun! It's an intermediate level 3 Card Solitaire game. Three cards are dealt each time you click the deck for more cards. Just like regular solitaire, stack cards of opposite color in descending...	2.45 MB
Programming - MR^3 3.1.0rc3 MR^3 is a graphical editing tool of RDF-based contents developed for managing a relationship between RDF and RDFS contents.	12.8 MB
Games - Q3Log Quake 3 Arena Stats Generator 2.3 Q3Log is a Q3a stats generator. It is written entirely in Java (Java 2, 1.4 or greater is required). It produces HTML stats files showing full information of frags on the server.It is fully customisable with no knowledge of Java required.	74.38 KB
Development Tools - PHPBB 3 Integration class 1.0 PHPBB 3 Integration class can access the MySQL database used by a phpBB version 3 installation and perform several types of operations with the accounts stored in it. There is also an auxiliary script to keep the phpBB sessions alive.Key Features...	10 KB
Networking Tools - GenIP 1.0 GenIP is a small utility, based on the NMap target specification code, for quickly and easily generating lists of IP addresses. Usage: genip [ -h ] [ -i filename ] [ ... ] genip -r Options: -h...	11.26 KB
Miscellaneous - Transposing a List of Lists 1.0 This script allows you to transpose a list of lists of different lengths.
Miscellaneous - PHP Typo Generation Class for Scripts 1.0 The Typo Generator Class is a php class that generates lists of common typos.Types of typos that can be produced with this are:- striking the wrong key thats near your intended key- missing a character when you type- a single transposition error-...	10 KB
MP3 Tools - Soundscape Generator 1.3 Soundscape Generator uses collections of sounds that create an ambient scene. Soundscapes can be used for many purposes, including relaxation, meditation, yoga, theatrical performances, events, soundtracks, and commercial spaces. Unlimited...	5.98 MB

NEW DOWNLOADS IN SCRIPTS, MISCELLANEOUS

Scripts - Free Ecommerce website creator 1.2 Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...	1.44 KB
Scripts - MochiGames PHP Script ZDR 1.00 MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...	368.54 KB
Scripts - Php Chat 2.0 Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....	938.87 KB
Scripts - Nibbleblog 3.0.1 Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....	371.09 KB
Scripts - PHP File Manager \| CloudOsys 2.9b8 CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...	1.41 MB
Miscellaneous - ZZIPlib Library for File sharing 0.13.56 Different applications can group files together into a single .zip archive and access them afterward.The library uses only the patent-free compression-algorithms supported by Zlib.It provides functions that transparently access files being either...	675.84 KB
Miscellaneous - Traveling Salesman Problem - Nearest Neighbor Script 1.1 This method produces different results depending on what city is choosen as the starting point.This function determines the Nearest Neighbor routes for multiple starting points and returns the best of those routes.	10 KB
Miscellaneous - N/A Checkbox 6.x-1.8 N/A Checkbox will allow website builders to add a checkbox next to a number textfield. The idea is to provide the users a textfield to enter a numeric value, or mark N/A in case they don't have it. When the N/A option is marked, a different value...	10 KB
Miscellaneous - ILIAS LMS 4.1.2 ILIAS is a web base learning management system (LMS, VLE).Features of ILIAS LMS:- Courses,- SCORM 1.2 and 2004,- mail,- forum,- chat,- groups,- podcast,- file sharing,- authoring,- CMS,- test,- wiki,- personal desktop,- LOM,- LDAP,- role based...	89 MB
Miscellaneous - Scribe for WordPress 2.0.4 Scribe is an SEO software service for WordPress - think of it as a content optimization assistant - that analyzes web pages, blog posts, and online press releases at the click of a button.Scribe then tells web writers of any kind how to tweak...	10 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts