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.859.763 Times

BoolVar/PB 1.0 Beta

Company: Olivier Bailleux
Date Added: October 16, 2013  |  Visits: 207

BoolVar/PB

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 downloads)



BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae.<br /><br />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 allocation, circuit diagnosis... The resulting CNF formula is satisfiable if and only if the input problem admits a solution. BoolVar/PB allows problems that are specified with pseudo-Boolean constraints to be solved using SAT solvers.

Requirements: No special requirements
Platforms: Mac, Mac OSX
Keyword: Admits Boolvarpb Circuit Constraints Diagnosis Formula Inequations Input Planning Problem Problems Pseudoboolean Resulting Satisfiable Solution Solved Solvers
Users rating: 0/10

License: Freeware Size: 748.54 KB
USER REVIEWS
More Reviews or Write Review


BOOLVAR/PB RELATED
Development Tools  -  Stoichiometry Tools 1.0
StoichTools comprises a set of Matlab functions for doing stoichiometric analysis. These functions parse standard chemical notation for a variety of stoichiometric calculations including finding molecular weights, balancing reactions for atom and...
71.68 KB  
Audio Tools  -  Scilab Image Processing Toolbox 0.5.6
SIP stands for Scilab Image Processing toolbox. SIP intends to do imaging tasks such as filtering, blurring, edge detection, thresholding, histogram manipulation, segmentation, mathematical morphology, color image processing, etc. These...
1.13 MB  
Libraries  -  pod2man 5.6.2
pod2man is a Perl module that can convert POD data to formatted *roff input. SYNOPSIS pod2man [--section=manext] [--release=version] [--center=string] [--date=string] [--fixed=font] [--fixedbold=font] [--fixeditalic=font]...
6 MB  
Graphic Animators  -  Fractographer 2.0.3
Fractographer is a program to plot the fractals of mathematical functions. It can take any arbitrary formula you input, so long as it follows a few guidelines. You can then save the current fractal to an image of any size you want, or you can just...
 
Development Tools  -  MatPlanWDM 1.0
MatPlanWDM is a network planning tool for wavelength-routing WDM networks. The input parameters to the planning problem are the network physical topology, the traffic matrix, and technological constraints like the number of transmitters,...
1.66 MB  
Development Tools  -  Julian Date to Greenwich Mean Sidereal Time 1.0
Convert a specified Julian Date Vector to Greenwich Mean Sidereal Time (GMST). The expected input matrix may contain multiple dimensions. The output matrix will be in the same size as the input matrix. Warning: Use caution when using GMST as a...
10 KB  
Programming  -  cutadapt 0.9.3
cutadapt is used to remove adapter sequences from high-throughput sequencing data. This is usually necessary when the read length of the sequencing machine is longer than the molecule that is sequenced, for example when sequencing microRNAs.
30.72 KB  
Libraries  -  Text::EP3 1.10
EP3 Perl module is the Extensible Perl PreProcessor. SYNOPSIS # Use options and files from command-line use Text::EP3; [use Text::EP3::{Extension}] # Language Specific Modules # create the PreProcessor object my $preprocessor = new...
20.48 KB  
Audio Tools  -  Voxengo Stereo Touch for Mac OS X 2.4
This professional audio AU and VST plugin implements a classic technique of transforming a monophonic track into spacious stereophonic track by means of mid/side coding technique. This plug-in is most effective on monophonic sounds without overly...
10.6 MB  
Audio Tools  -  Voxengo Stereo Touch x64 2.4
This professional audio AU and VST plugin implements a classic technique of transforming a monophonic track into spacious stereophonic track by means of mid/side coding technique. This plug-in is most effective on monophonic sounds without overly...
4.9 MB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING
Macintosh Software  -  MacX Free DVD to MP4 Converter for Mac 4.2.3
MacX Free DVD to MP4 Converter for Mac is an innovative yet free DVD to MP4 ripper software for Mac users without any functional limitation or watermark. It is able to convert DVDs including copy protected DVD movies to MP4, FLV, MP3 music on Mac...
36.23 MB  
Macintosh Software  -  MacX DVD Ripper Mac Free Edition 4.2.3
MacX DVD Ripper Mac Free Edition is the best free DVD ripper for Mac that can fulfill any of your DVD backup and ripping demands for free. It allows you to rip homemade and protected DVDs to MOV, MP4, M4V, etc for playing on iPhone, iPod, iPad,...
35.88 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Macintosh Software  -  MacX QuickTime Video Converter Free 4.1.9
MacX QuickTime Video Converter Free Edition is the best program designed for Mac users to free convert almost all HD videos and SD videos to QuickTime accepted formats on Mac with first rate quality.The input file formats covered by this powerful...
23.11 MB  
Macintosh Software  -  MacX Free Apple TV Video Converter 4.1.9
MacX Free Apple TV Video Converter is a 100% free video to Apple TV converter software which enables you to free convert most popular videos like AVCHD, MKV, M2TS, AVI, MPEG, WMV, FLV etc to Apple TV compatible format like MP4 format on Mac OS. In...
22.89 MB  
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB