Repositories list

• jconstraints

  Public
  A constraint solver abstraction layer for Java

  Java

  •

  Apache License 2.0

  •1111 forks•2121 stars•00 issues•11 pull request•Updated Apr 16, 2023Apr 16, 2023

• jdart

  Public
  A dynamic symbolic analysis tool for Java

  Java

  •

  Apache License 2.0

  •4242 forks•128128 stars•1515 issues•33 pull requests•Updated Jun 2, 2019Jun 2, 2019

• jdoop

  Public
  An automatic testing tool for Java software

  Python

  •

  GNU General Public License v3.0

  •66 forks•2525 stars•11 issue•00 pull requests•Updated May 21, 2018May 21, 2018

• jconstraints-smtinterpol

  Public
  jConstraints abstraction layer for the SMTInterpol solver

  Java

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•11 pull request•Updated Apr 20, 2018Apr 20, 2018

• psyco

  Public
  A tool for generating symbolic interfaces for software components

  Java

  •

  Apache License 2.0

  •33 forks•66 stars•11 issue•00 pull requests•Updated Oct 6, 2016Oct 6, 2016

• jconstraints-z3

  Public
  jConstraints abstraction layer for Z3

  Java

  •

  Apache License 2.0

  •99 forks•1010 stars•00 issues•00 pull requests•Updated Oct 6, 2016Oct 6, 2016

• jdoop-examples

  Public
  Examples for JDoop

  Makefile

  •11 fork•11 star•00 issues•00 pull requests•Updated Nov 13, 2015Nov 13, 2015

• jconstraints-dreal

  Public
  jConstraints abstraction layer for the dReal solver

  Java

  •

  Apache License 2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Nov 4, 2015Nov 4, 2015

• jconstraints-coral

  Public
  jConstraints abstraction layer for the CORAL solver

  Java

  •

  Apache License 2.0

  •11 fork•22 stars•11 issue•00 pull requests•Updated Oct 22, 2015Oct 22, 2015

• jconstraints-cw

  Public
  jConstraints abstraction layer for the Concolic Walk algorithm

  Java

  •

  Apache License 2.0

  •11 fork•22 stars•00 issues•00 pull requests•Updated Oct 22, 2015Oct 22, 2015