Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
caletechnology
/
satisfier
like
0
Follow
Cale Technology Enterprise (CTE)
1
English
Model card
Files
Files and versions
xet
Community
main
satisfier
2.12 MB
1 contributor
History:
94 commits
calebnwokocha
Update client.cpp
cd7641e
verified
2 months ago
.gitattributes
2.22 kB
Upload the_dynamics_of_decision-making_styles.pdf
2 months ago
Belnap-TonkPlonkPlink-1962.pdf
780 kB
xet
Upload 2 files
2 months ago
LICENSE.txt
7.05 kB
Upload LICENSE.txt
3 months ago
LogicalConn012610-pydfqy.pdf
120 kB
xet
Upload LogicalConn012610-pydfqy.pdf
2 months ago
Prior-RunaboutInferenceTicket-1960.pdf
395 kB
xet
Upload 2 files
2 months ago
README.md
3.07 kB
Update README.md
2 months ago
client-2.cpp
3.86 kB
Update client-2.cpp
2 months ago
client-3.cpp
4.08 kB
Update client-3.cpp
2 months ago
client.cpp
800 Bytes
Update client.cpp
2 months ago
dialog_box.PNG
6.94 kB
Upload dialog_box.PNG
2 months ago
formal_proof-1.pdf
101 kB
xet
Upload formal_proof-1.pdf
3 months ago
libsatisfier.a
6.59 kB
Upload 4 files
2 months ago
libsatisfier.def
262 Bytes
Upload 4 files
2 months ago
satisfier.c
9.26 kB
Upload 2 files
3 months ago
satisfier.dll
180 kB
xet
Upload 4 files
2 months ago
satisfier.exe
272 kB
xet
Upload 2 files
3 months ago
satisfier.hpp
3.71 kB
Upload 4 files
2 months ago
the_dynamics_of_decision-making_styles.pdf
226 kB
xet
Upload the_dynamics_of_decision-making_styles.pdf
2 months ago
