IABSD.fr/ports/devel/stp

Branch : - branch - master - tag -

• Show log

  Commit

• Author : kevlo
  Date : 2009-12-17 09:43:28
  Hash : e23c09e9
  Message : Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@

• Files
• Makefile
• distinfo
• pkg