Domain Tools

Welcome  Guest! Login/Join
Whois

Domain Suggestions

For Sale

Aftermarket.com Live Auctions Domain Search

Domain Monitor
Domain Directory Ping

Traceroute

My IP Address Domain Parking Cheap Domain Name Registration Bulk Check Domain Typo Generator more >
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert new

Sponsored Ads
Google
Cheap VPS Hosting Registrant Search     Sponsor DomainTools
DomainTools Blog: Going Once, Going Twice, SOLD! - Posted 8 days ago - 8 comments

Main Content

OPBDP Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.


Mpg.de DMOZ 91-100 of 360

<<  | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |   >>



Directory: Computers / Programming / Languages / Logic-based / Constraint_Logic
Title: OPBDP
Description: Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.
Location: http://www.mpi-inf.mpg.de/departments/d2/software/opbdp/
 
  
Directory: Computers / Programming / Languages / ML
Title: Standard ML vs. Objective Caml
Description: A quick comparison of program fragments in the two ML dialects.
Location: http://www.mpi-sws.mpg.de/~rossberg/sml-vs-ocaml.html
 
  
Directory: Computers / Programming / Languages / REBOL / Reviews
Title: Larry Wall Email
Description: Perl creator's brief critique of REBOL.
Location: http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-10/msg01851.html
 
  
Directory: Computers / Software / Internet / Clients / Mail / Unix / Procmail
Title: Procmail Mailing List Archive
Description: Searchable MHonArc archive of the Procmail mailing list -- goes back to 1995
Location: http://www.xray.mpe.mpg.de/mailing-lists/procmail/
 
  
Directory: Computers / Software / Typesetting / TeX / Converters
Title: Hermes
Description: A semantically clean, GNU licensed, XML e-publishing tool for LaTeX authored scientific articles. Download sources or the windows binary, mailing list and general information.
Location: http://hermes.aei.mpg.de/
 
  
Directory: Computers / Software / Typesetting / TeX / DVIware
Title: nDVI
Description: DVI viewer plugin for Netscape (Unix) with support for hyperTeX. No longer being developed.
Location: http://www.aei.mpg.de/~peekas/ndvi/
 
  
Directory: Computers / Software / Typesetting / TeX / Extensions
Title: TeX++
Description: A modern and free C++ implementation of TeX based on CommonTeX.
Location: http://www.aei.mpg.de/~peekas/tex++/
 
  
Directory: Computers / Usenet / Software
Title: W3news
Description: A flexible CGI tool that implements a Usenet newsreader through HTML pages. GPL'ed. Has been tested on GNU/Linux.
Location: http://www.aei.mpg.de/~peekas/w3news/
 
  
Directory: Home / Cooking / World_Cuisines / European / German
Title: Swabian Recipes
Description: Twenty five recipes from the cookbook "D' Schwäbisch' Kuche."
Location: http://www.mpip-mainz.mpg.de/~pleiner/recipe.html
 
  
Directory: Kids_and_Teens / Arts / Music / Musicians / Composers / Chopin,_Frederic
Title: Classical Music Pages - Frédéric Chopin (1810-1849)
Description: A biography from The Grove Concise Dictionary of Music with photograph.
Location: http://w3.rz-berlin.mpg.de/cmp/chopin.html
 
  

<<  | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |   >>