Enter Domain Name:
gecode.org: GECODE home

GECODE home

Tags: gecode, org, home, logo, documentation, challenge, minizinc, download, results, systems, free, other, page, overview, changelog, software, fsf, interfaces, pages, community, publications, listed, projects, license, comparison, disclaimer, available, c++, modeling, new, can, efficient, open, programming,

Gecode.org

Content Revalency: Title: 50.00%   Description: 0.00%   Keywords: 0.00%  |  Document size: 5,058 bytes
More info: Whois - Trace Route - RBL Check
DMOZ Information
Gecode
Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD]

Top/Computers/Programming/Languages/Constraint
http://www.gecode.org/

Gecode.org has 1 URLs listed in 1 Dmoz categories.

Related Sites:   Cuni.cz , E-constraints.net , Washington.edu , Oz.au , Brandeis.edu , Koalog.com , Ogi.edu , Orc.ru , Icot.or.jp , Brown.edu ,
GECODE.ORG - Site Location
Country/Flag US United States
City/Region/Zip Code Kirkland, Washington, 98033
Organization eNom, Incorporated
Internet Service Provider eNom, Incorporated
GECODE.ORG - Domain Information
Domain GECODE.ORG   [ Traceroute  RBL/DNSBL lookup ]
Registrar eNom, Inc.
Whois server whois.pir.org
Created --
Updated --
Expires --
Time Left 0 days 0 hours 0 minutes
Status ok https://icann.org/epp#ok renewPeriod https://icann.org/epp#renewPeriod
DNS servers DNS1.NAME-SERVICES.COM   69.25.142.42
DNS2.NAME-SERVICES.COM   216.52.184.248
DNS3.NAME-SERVICES.COM   63.251.92.200
DNS4.NAME-SERVICES.COM   69.64.145.225
DNS5.NAME-SERVICES.COM   70.42.37.7
GECODE.ORG - DNS Information
IP Address 98.124.199.1 ~ Whois - Trace Route - RBL Check
Domain Name Servers
Mail Exchange
Site Response Header
Response HTTP/1.1 200 OK
Server Apache/2.2.3 (Debian) DAV/2 SVN/1.4.2 PHP/4.4.4-8+etch6 mod_ssl/2.2.3 OpenSSL/0.9.8c mod_perl/2.0.2 Perl/v5.8.8
Date Wed, 05 Aug 2009 13:05:35 GMT
Content-Type text/html; charset=iso-8859-1