Web pages of bach.istc.kobe-u.ac.jp

• Naoyuki Tamura's Home Page [ English | Japanese ]
• Metcha Search Engine (in Japanese) [ No Frame | Frame | Access Statistics | BBS ]
• Constraint programming
  • PBSugar: A SAT-based Pseudo-Boolean Solver [New!]
  • Scarab: A Rapid Prototyping Tool for SAT-based Constraint Programming Systems [New!] (at kix.istc.kobe-u.ac.jp)
  • Copris: Constraint Programming in Scala
    • Puzzle Solvers in Copris
  • Sugar: A SAT-based Constraint Solver
    • SugarTracer
    • Solving Puzzles with Sugar Constraint Solver (in Japanese)
  • CSP2SAT: Compiling Finite Linear CSP into SAT
  • Cream: Constraint Programming Class Library for Java
  • HECS (at kaminari.istc.kobe-u.ac.jp)
• Logic programming and Theorem provers
  • Prolog Cafe (at kaminari.istc.kobe-u.ac.jp)
  • LLP: A Linear Logic Programming Language and its Compiler System [ English | Japanese ]
    • lolliCoP prover
    • Cryptarithmetic puzzle solver [ English | Japanese | Access Statistics ]
  • TLLP (at kaminari.istc.kobe-u.ac.jp)
  • A Linear Logic Prover (llprover) [ Access Statistics ]
  • Sequent Prover (seqprover)
• Others
  • Maple, Mathematica, Prolog
• Access Statistics
  • HTTP referer
  • HTTP visitors
  • Access Statistics of Metcha Search
  • Access Statistics of Linear logic prover
  • Access Statistics of Cryptarithmetic puzzle solver

Related Web Pages

• Information Science and Technology Center, KAISER2010
• BEEF, Uribo Net, KUIC, Library
• Tamlab, CS32 Laboratory, Graduate School of System Informatics, Faculty of Engineering, Kobe University