Skip to main content
  • Home
  • Development
  • Documentation
  • Donate
  • Operational login
  • Browse the archive

swh logo
SoftwareHeritage
Software
Heritage
Archive
Features
  • Search

  • Downloads

  • Save code now

  • Add forge now

  • Help

Revision 8ff4378c69bfc83b3af48e387721134b1413d23a authored by takehidesoh on 01 May 2023, 02:14:54 UTC, committed by takehidesoh on 01 May 2023, 02:14:54 UTC
mod README.md
1 parent 339d44a
  • Files
  • Changes
  • f713c63
  • /
  • bdd_minisat_all-1.0.2
  • /
  • LICENSE.bdd_minisat_all
Raw File Download

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.

  • revision
  • directory
  • content
revision badge
swh:1:rev:8ff4378c69bfc83b3af48e387721134b1413d23a
directory badge
swh:1:dir:e4b48dfb354d10699e262001c0cd6416edb3f793
content badge
swh:1:cnt:8ade5791b370c135d2b10f1a5de1866b8680025f

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.

  • revision
  • directory
  • content
(requires biblatex-software package)
Generating citation ...
(requires biblatex-software package)
Generating citation ...
(requires biblatex-software package)
Generating citation ...
LICENSE.bdd_minisat_all
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.
The diff you're trying to view is too large. Only the first 1000 changed files have been loaded.
Showing with 0 additions and 0 deletions (0 / 0 diffs computed)
swh spinner

Computing file changes ...

back to top

Software Heritage — Copyright (C) 2015–2026, The Software Heritage developers. License: GNU AGPLv3+.
The source code of Software Heritage itself is available on our development forge.
The source code files archived by Software Heritage are available under their own copyright and licenses.
Terms of use: Archive access, API— Content policy— Contact— JavaScript license information— Web API