BACH.ISTC.KOBE-U.AC.JP SERVER
We revealed that a lone root page on bach.istc.kobe-u.ac.jp took three hundred and ninety-one milliseconds to load. We could not find a SSL certificate, so in conclusion our crawlers consider this site not secure.
Internet Protocol
133.30.11.80
BROWSER IMAGE
SERVER OS
We observed that bach.istc.kobe-u.ac.jp is operating the Apache os.HTML TITLE
Web pages of bach.istc.kobe-u.ac.jpDESCRIPTION
Web pages of bach.istc.kobe-u.ac.jp. Naoyuki Tamuras Home Page English. Metcha Search Engine in Japanese No Frame. PBSugar A SAT-based Pseudo-Boolean Solver. Scarab A Rapid Prototyping Tool for SAT-based Constraint Programming Systems. At kix.istc.kobe-u.ac.jp. Copris Constraint Programming in Scala. Puzzle Solvers in Copris. Sugar A SAT-based Constraint Solver. Solving Puzzles with Sugar Constraint Solver. CSP2SAT Compiling Finite Linear CSP into SAT. Logic programming and Theorem provers.PARSED CONTENT
The domain states the following, "Naoyuki Tamuras Home Page English." We observed that the web site stated " Metcha Search Engine in Japanese No Frame." It also stated " PBSugar A SAT-based Pseudo-Boolean Solver. Scarab A Rapid Prototyping Tool for SAT-based Constraint Programming Systems. Copris Constraint Programming in Scala. Sugar A SAT-based Constraint Solver. Solving Puzzles with Sugar Constraint Solver. CSP2SAT Compiling Finite Linear CSP into SAT. Logic programming and Theorem provers."