License |
License |
---|---|
GroupId | GroupIdit.unife.ml |
ArtifactId | ArtifactIdbdd-libraries |
Last Version | Last Version1.1 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionBDD Libraries
Jar containing shared libraries for building and using Binary
Decision Diagrams (BDDs)
|
Project URL |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
bdd-libraries-1.1.pom | |
bdd-libraries-1.1.jar | 388 KB |
bdd-libraries-1.1-win64.jar | 317 KB |
bdd-libraries-1.1-win32.jar | 317 KB |
bdd-libraries-1.1-sources.jar | 1 MB |
bdd-libraries-1.1-osx.jar | 289 KB |
bdd-libraries-1.1-linux-x86_64.jar | 388 KB |
bdd-libraries-1.1-linux-i386.jar | 411 KB |
Browse |
<!-- https://jarcasting.com/artifacts/it.unife.ml/bdd-libraries/ -->
<dependency>
<groupId>it.unife.ml</groupId>
<artifactId>bdd-libraries</artifactId>
<version>1.1</version>
</dependency>
// https://jarcasting.com/artifacts/it.unife.ml/bdd-libraries/
implementation 'it.unife.ml:bdd-libraries:1.1'
// https://jarcasting.com/artifacts/it.unife.ml/bdd-libraries/
implementation ("it.unife.ml:bdd-libraries:1.1")
'it.unife.ml:bdd-libraries:jar:1.1'
<dependency org="it.unife.ml" name="bdd-libraries" rev="1.1">
<artifact name="bdd-libraries" type="jar" />
</dependency>
@Grapes(
@Grab(group='it.unife.ml', module='bdd-libraries', version='1.1')
)
libraryDependencies += "it.unife.ml" % "bdd-libraries" % "1.1"
[it.unife.ml/bdd-libraries "1.1"]