Skip to content
SPB Git
Repositories
Activity
API
Search repositories, files, commits…
⌘K
spboucher.ai
spb
/
wp32_uqo
Public
2
commits
1
branches
0
releases
35.4 MB
on disk
main
default branch
3 days ago
last push
TeX
42.5%
Python
40.5%
C
14.6%
Shell
2.4%
Code
Commits
2
Branches
1
Releases
0
Insights
Branch or tag
main (default)
wp32_uqo
code
proofs
certificates
fortcover
Files
History
Clone
Name
Last commit
Updated
..
P11_5_atmost5.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P11_5_atmost5.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P12_5_atmost7.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P12_5_atmost7.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P13_5_atmost8.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P13_5_atmost8.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P14_5_atmost7.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P14_5_atmost7.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P15_5_atmost7.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P15_5_atmost7.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P16_5_atmost7.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P16_5_atmost7.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P17_5_atmost9.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P17_5_atmost9.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P18_5_atmost9.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P18_5_atmost9.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P19_5_atmost9.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P19_5_atmost9.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P20_5_atmost9.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P20_5_atmost9.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P21_5_atmost9.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P21_5_atmost9.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P22_5_atmost10.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P22_5_atmost10.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P23_5_atmost11.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P23_5_atmost11.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P25_5_atmost11.cnf
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
P25_5_atmost11.forts.json
WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
3 days ago
Clone wp32_uqo
HTTPS
Copy
Anonymous clone and fetch. Pushing requires the owner's personal access token.
spbgit CLI
Copy
ZIP
tar.gz
snapshot of
main
Files ·
main
Menu
Home
Repositories
Activity
Commit calendar
Search
JSON API
Atom feed
spboucher.ai
contact@spboucher.ai
Theme
System
Light
Dark
Midnight
System
Light
Dark
Midnight
All
Repos
Files
Commits
Branches