FeatureIDE / FeatJAR-bin-sharpsat Public

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

Native bindings for sharpSAT

LGPL-3.0, GPL-3.0 licenses found

Licenses found

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
gradle/wrapper		gradle/wrapper
sharpSAT @ ecef08c		sharpSAT @ ecef08c
src/main		src/main
.gitignore		.gitignore
.gitmodules		.gitmodules
COPYING		COPYING
COPYING.LESSER		COPYING.LESSER
README.md		README.md
build.gradle		build.gradle
build.sh		build.sh
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle

Repository files navigation

bin-sharpsat

Binaries compiled from https://github.com/FeatureIDE/sharpSAT

About

Native bindings for sharpSAT

LGPL-3.0, GPL-3.0 licenses found

Licenses found

Custom properties

Report repository

Releases

Packages

No packages published

Languages