star-finder / starlib Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

A library for handling separation logic constraints

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 85 Commits
.externalToolBuilders		.externalToolBuilders
lib		lib
src		src
.classpath		.classpath
.gitignore		.gitignore
.project		.project
README.md		README.md
build.xml		build.xml
jpf.properties		jpf.properties

Repository files navigation

StarLib

The common library for jpf-star and jpf-costar.

About

A library for handling separation logic constraints

Custom properties

Report repository

Releases 2

Stable release Latest

Packages

No packages published

Contributors 2

Languages