hesam

Public Repositories (7)

• • 1
  • 1

  ESJava

  Executable Specifications for Java

  

  Last updated Wed Dec 16 19:45:52 -0800 2009

• • 1
  • 1

  B-brains

  A collection of {AI+languages} projects

  

  Last updated Mon Nov 02 18:30:43 -0800 2009

• • 1
  • 1

  Kodkodi-Server

  Updates Kodkodi to run as a server, enabling programs to solve problems using Kodkod solver throu...

  

  Last updated Wed Jul 29 17:00:28 -0700 2009

• • 1
  • 1

  ESSQ

  Executable Specifications for Squeak

  

  Last updated Sun Jul 26 17:54:20 -0700 2009

• • 1
  • 1

  SASyLF-Emacs-Mode

  Emacs mode for proof assistant tool SASyLF (http://www.cs.cmu.edu/~aldrich/SASyLF/)

  

  Last updated Fri May 29 23:45:15 -0700 2009

• • 1
  • 0

  JOHN-Interpreter

  Object oriented language with integrated SAT-based problem solver (john2 ver)

  

  Last updated Fri May 08 23:45:32 -0700 2009

• • 3
  • 0

  JOHN-COLA-Planner-Library

  Implements an automated planner and constraint handler program as a COLA library

  

  Last updated Thu Apr 30 22:54:06 -0700 2009