MiniSat Page
Tags:
minisat,
page,
trophies,
logo,
satelite,
paper,
slides,
industrial,
efficient,
release,
cygwin,
sweeping,
cnf,
linux,
links,
papers,
cut,
main,
generation,
github,
tar,
windows,
notes,
authors,
downloads,
sat,
version,
released,
added,
niklas,
bug,
solver,
Minisat.se
Content Revalency:
Title: 100.00%
Description: 0.00%
Keywords: 0.00% | Document size: 5,321 bytes
More info:
Whois -
Trace Route -
RBL Check
|
|
| MINISAT.SE - Site Location |
| Country/Flag |
 Germany |
| City/Region/Zip Code |
Nürnberg, Bayern, 90455 |
| Organization |
Hetzner Online AG |
| Internet Service Provider |
Hetzner Online GmbH |
|
MINISAT.SE - Domain Information |
| Domain |
minisat.se [ Traceroute RBL/DNSBL lookup ] |
| Whois server |
whois.iis.se |
| Created |
04-Dec-2007 |
| Updated |
14-Nov-2016 |
| Expires |
04-Dec-2017 |
| Time Left |
43 days 8 hours 29 minutes |
| Status |
ok |
| DNS servers |
ns1.loopia.se 194.9.94.240
ns2.loopia.se 194.9.95.240
|
| Site Response Header |
| Response |
HTTP/1.0 200 OK |
| Server |
lighttpd/1.4.6 |
| Date |
Thu, 14 Apr 2011 02:59:05 GMT |
| Content-Type |
text/html |
