Content - 8ade5791b370c135d2b10f1a5de1866b8680025f - 83aaea6/bdd_minisat_all-1.0.2/LICENSE.bdd_minisat_all

visit type

https://github.com/TakehideSoh/SAF

18 January 2026, 11:53:51 UTC

Code
Branches (4)
Releases (0)
Visits

Branches
Releases

HEAD
refs/heads/dev
refs/heads/main
refs/tags/v1.0-cmsb2023
refs/tags/v1.1-CMSB2023

No releases to show

83aaea6
/
bdd_minisat_all-1.0.2
/
LICENSE.bdd_minisat_all

Raw File Download Save again

Take a new snapshot of a software origin

If the archived software origin currently browsed is not synchronized with its upstream version (for instance when new commits have been issued), you can explicitly request Software Heritage to take a new snapshot of it.

Use the form below to proceed. Once a request has been submitted and accepted, it will be processed as soon as possible. You can then check its processing state by visiting this dedicated page.

Visit type

Origin url

Processing "take a new snapshot" request ...

To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.

content
directory
revision
snapshot

swh:1:cnt:8ade5791b370c135d2b10f1a5de1866b8680025f

Add contextual information

swh:1:dir:e4b48dfb354d10699e262001c0cd6416edb3f793

Add contextual information

swh:1:rev:d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6

Add contextual information

swh:1:snp:d3fcf0e446f52630e867f11dee4c2c828bf46951

Add contextual information

This interface enables to generate software citations, provided that the root directory of browsed objects contains a citation.cff or codemeta.json file.
Select below a type of object currently browsed in order to generate citations for them.

content
directory
revision
snapshot

Format

Generate software citation in BibTex format (requires biblatex-software package)

Generating citation ...

Format

Generate software citation in BibTex format (requires biblatex-software package)

Generating citation ...

Format

Generate software citation in BibTex format (requires biblatex-software package)

Generating citation ...

Format

Generate software citation in BibTex format (requires biblatex-software package)

Generating citation ...

Tip revision: d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6 authored by TakehideSoh on 23 June 2023, 07:02:26 UTC
Merge pull request #2 from TakehideSoh/dev

Tip revision: d26cc9f

LICENSE.bdd_minisat_all

CodePreview

bdd_minisat_all -- Copyright (c) 2015, Takahisa Toda

This software is developed by modifying MiniSat-C v1.14.1 and inherits the license of MiniSat-C v1.14.1.
Please confirm the copyright notice given in LICENSE.MiniSat.