sat-solver
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 (1.7%) to scientific vocabulary
Last synced: 7 months ago
·
JSON representation
·
Repository
Basic Info
- Host: GitHub
- Owner: Scott-Hickmann
- Language: Python
- Default Branch: main
- Size: 18.7 MB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Created over 2 years ago
· Last pushed about 2 years ago
Metadata Files
Readme
Citation
README.md
SAT Solver
bash
conda create --name satsolver python=3.12
conda activate satsolver
pip install -r requirements.txt
Owner
- Name: Scott Hickmann
- Login: Scott-Hickmann
- Kind: user
- Repositories: 23
- Profile: https://github.com/Scott-Hickmann
Citation (CITATION.cff)
cff-version: 1.2.0
title: NextNet
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: Scott
family-names: Hickmann
email: scotthickmann21@gmail.com
- given-names: Elijah
family-names: Kim
GitHub Events
Total
Last Year
Dependencies
requirements.txt
pypi
- Pillow ==10.1.0
- contourpy ==1.1.1
- cycler ==0.12.1
- fonttools ==4.43.1
- kiwisolver ==1.4.5
- matplotlib ==3.8.0
- numpy ==1.26.1
- packaging ==23.2
- pyparsing ==3.1.1
- python-dateutil ==2.8.2
- python-sat ==0.1.8.dev10
- scipy ==1.11.3
- setuptools ==68.2.2
- six ==1.16.0