Package Usage: pypi: pycosat
bindings to picosat (a SAT solver)
3 versions
Latest release: over 1 year ago
6 dependent packages
182,283 downloads last month
View more package details: https://packages.ecosyste.ms/registries/pypi.org/packages/pycosat
View more repository details: http://repos.ecosyste.ms/hosts/GitHub/repositories/conda%2Fpycosat
Dependent Repos 8,334
mattheus98/Practice
For random codeSize: 65.4 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
minsom/BellyButtonBiodiversity
Dashboard by plotly & deployment by Heroku @ ➡️➡️➡️➡️Size: 156 KB - Last synced: about 2 years ago - Pushed: almost 3 years ago
RafalPro/Tweet-Generator
Application which generates a tweet for a twitter user, based on their previous tweet history.Size: 55.7 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
zhan01/news_web
news web site to get more from most popular sourcesSize: 5.77 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
BenediktKleppmann/TreeOfKnowledge
webservice for data integration, data analysis and simulation modellingSize: 272 MB - Last synced: 5 months ago - Pushed: over 2 years ago
pg2455/AudioAge
Transferring audio features to build models for rare conditions with scarce dataSize: 132 KB - Last synced: 8 days ago - Pushed: over 2 years ago
EhtashamAli/tweet_topic_detection
Size: 9.98 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
kokuji/plotly
Use of plotly to gather insight on a large datasetSize: 1.2 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
quan-dang/Medical-Machine-Learning-Projects
Healthcare machine learning projectsSize: 20.6 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
sraguraman/giphy_webservice
Size: 3.5 MB - Last synced: about 2 months ago - Pushed: over 2 years ago
ArmandoYael/TareaInteractiveVisualizations
Size: 1.09 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
sandip5004/proxy-site
Making AWS ProxiesSize: 2.01 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
kshitiz305/Face-Detection-Attendance-System-Using-Python-
Size: 1020 KB - Last synced: 10 months ago - Pushed: over 2 years ago
wagnernoise/simple-regex-script
Size: 111 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
sh1doy/summarization_tf
Implementation of "Automatic Source Code Summarization with Extended Tree-LSTM"Size: 4.49 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
s-ariga/eularProject
オイラープロジェクトの解答Size: 91.8 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
readyforchaos/Data-Science-Jupyter-Notebooks
A set of algorithms in Jupyter Notebook with datasets includedSize: 56.9 MB - Last synced: about 1 year ago - Pushed: over 2 years ago
flores-o/AlgorithmicTrading
Algoritmic Trading with MLSize: 25.9 MB - Last synced: about 1 year ago - Pushed: over 2 years ago
tmellan/py-CS
python compressive sensingSize: 305 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
oyamatsumi04/project-2-airlineCrashes
Size: 9.08 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
bruno-pinheiro/aceleradev-data-science
My roadtrack on the AceleraDev Data Science from CodenationSize: 8.08 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
hackoregon/2019-disaster-resilience-data-science
2019 data science repo for the disaster resilience teamSize: 83.3 MB - Last synced: 26 days ago - Pushed: over 2 years ago
NgoziOkereke/FeedMe-
AUTOMATIC IDENTIFICATION AND CRAWLING OF EVENT FEEDS FROM THE WEB AND SOCIAL MEDIASize: 215 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
adidacom/django-portfolio
Django Portfolio AppSize: 24.1 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
nchullip/CalculatorLibrary
Size: 26.4 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
kevinzgai/ToolsCCSS
ToolsCCSSSize: 826 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
renju-zacharia/Flask_Mongo_Coffee_Comp_Analysis_App
Size: 54.7 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
haimcqueen/data_science_retreat
trainingSize: 164 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
mittenchops/bertvectors
Blog post for showing how whacky bert vectors can be -- is siren more like Odysseus or ambulance?Size: 290 KB - Last synced: almost 2 years ago - Pushed: over 2 years ago
CrypticSloth/DotA2-Exploration
Explore the in depth MOBA game "Defense of the Ancients 2" and its wealth of publicly available data.Size: 16.8 MB - Last synced: 8 months ago - Pushed: over 2 years ago
cfccfsh/rentHouse
地图租房系统（高德API）Size: 32.2 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
cloudsmithy/catsVSdogs
udacity机器学习工程师毕业项目Size: 10.6 MB - Last synced: 3 days ago - Pushed: over 2 years ago
huntingcarlisle/RNN-LSTM-IMDb-Sentiment_Analysis
IMDB sentiment classification task using Recurrent Neural Networks in KerasSize: 104 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
ritvik06/Imitation_Learning_Carla
An implementation of NVIDIA's Convolution Neural Net with quantized weights using AlphaRT to train autonomous vehicleSize: 1.77 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
Naycat/DSR_mini_competition
attempt at DSR mini CompetitionSize: 603 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
konny0311/ssd_precision_comparison
Size: 10 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
liquan137/pythonSocket
python 即时聊天Size: 3.38 MB - Last synced: 11 months ago - Pushed: over 2 years ago
SantosDLeandro/Instapy_conf_file
Size: 65.4 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
SujalPaudel/objectDetection_and_server
Size: 33.8 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
Hollings/thisrecipedoesnotexist
Uses the power of M A C H I N E L E A R N I N G to generate recipesSize: 539 KB - Last synced: over 1 year ago - Pushed: over 2 years ago
minsom/UCB_project_3
school and shooting dataSize: 4.56 MB - Last synced: about 2 years ago - Pushed: almost 3 years ago
yemiemy/nike-keenam-blog
This is a personal blog made for Mrs Nike Keenam.Size: 1.58 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
arshjat/Attendance-Management-System
Size: 18.3 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
csaratchandra/api_python_flask_blueprint
API implementation using python, flask and blueprintSize: 36.1 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
damrongsak/HW11CrytoDataAnalysis
HW11 Data Analysis TeamSize: 28.8 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
ahsankhan530/Heart-disease-prediction-using-machine-learning-
Size: 262 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
riprel/riprel_functions
Repository to contain Backend Functions for RiprelSize: 48.8 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
pratyush1999/Flask-web-app
Size: 12.9 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
dtaylor072/mac-markov
generating fake song lyrics with markov chainsSize: 1.11 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
simecek/Czech-ULMFiT
ULMFiT language model for Czech languageSize: 710 KB - Last synced: almost 2 years ago - Pushed: over 2 years ago
skuttenkuler/StarSocial
Space social media website built with DjangoSize: 1.76 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
amittallapragada/youtube-to-spotify-playlist
python script that converts youtube playlists to spotify playlistsSize: 96.7 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
moemily123819/mahjong_game
4-user mahjong game - by Gabriel Lee Jr and Emily Mo - still in progressSize: 603 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
jamesshao8/cnn-limesdr
This is based on cnn-rtlsdr. I modified it to use limesdr. It also contains python interface for lime API, similar as pyrtlsdrSize: 92.8 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
earny-joe/Springboard-DS-Portfolio
Portfolio of Coursework from Springboard's Data Science Career Track (Completed Aug. 2019)Size: 102 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
samagar/pythonprojects
My study python projectsSize: 5.66 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
vinothpandian/sic
Sydney Innovation CompetitionSize: 908 KB - Last synced: 20 days ago - Pushed: over 2 years ago
vishalamca/LinkedInProfile
LinkedInProfile using PythonSize: 119 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
SourabhYelluru131/Bot
Discord Bot :)Size: 108 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
aureliaspecker/met-line-alerts
Size: 42 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
lucaslepore/3D-human-model
3D model of the human body using a RGB videoSize: 52.7 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
vilenci/final-rep
final project stepicSize: 65.4 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
harunmohamed/bambi-v3.1
Bambi V3 now with BlueprintsSize: 475 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
cristomathew/intern
Web-app using DjangoSize: 1.26 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
ajdeschenes/FinalProject
Data Science Boot Camp Final Project - Machine Learning Movie SuccessSize: 377 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
oeoes/ukt-analyzer
Aplikasi untk mengklasifikasi golongan ukt menggunakan random forest regressionSize: 2.62 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
Emulebest/chemistry-assembler
Size: 125 KB - Last synced: about 2 years ago - Pushed: over 2 years ago
Csspalding/tango_with_django_2
following the exercises in the bookSize: 2.29 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
johndpope/WaterIsland_RiskPortal
Code base for Water Island Capital's in-house Risk Management SystemSize: 20.6 MB - Last synced: about 2 years ago - Pushed: over 2 years ago
