approximateatmostk
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (2.2%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
·
Repository
Basic Info
- Host: GitHub
- Owner: snisimu
- License: other
- Language: Haskell
- Default Branch: main
- Size: 20 MB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 5
- Releases: 0
Created over 3 years ago
· Last pushed over 1 year ago
Metadata Files
Readme
License
Citation
README.md
ApproximateAtMostK
Software materials for the paper "Approximate-At-Most-k Encoding of SAT for Soft Constraints."
You can try them with Codespaces.
Conventional encodings are based on "SAT Encodings of the At-Most-k Constraint Some Old, Some New, Some Fast, Some Slow"
Owner
- Name: Shunji Nishimura
- Login: snisimu
- Kind: user
- Repositories: 2
- Profile: https://github.com/snisimu
Citation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - family-names: "Nishimura" given-names: "Shunji" orcid: "https://orcid.org/0000-0001-6600-5136" title: "Repository for Approximate-At-Most-k Encoding for SAT" version: 1.0.0 date-released: 2023-04-29 url: "https://github.com/snisimu/ApproximateAtMostK"
GitHub Events
Total
- Member event: 2
- Push event: 1
Last Year
- Member event: 2
- Push event: 1
Dependencies
.devcontainer/Dockerfile
docker
- mcr.microsoft.com/vscode/devcontainers/base 0-${VARIANT} build
ApproximateAtMostK.cabal
hackage
- base >=4.7 && <5
- directory *
- extra *
- filepath *
- process *
- random *
- strict *