Skip to content
Navigation Menu
Toggle navigation
Sign in
Product
Actions
Automate any workflow
Packages
Host and manage packages
Security
Find and fix vulnerabilities
Codespaces
Instant dev environments
GitHub Copilot
Write better code with AI
Code review
Manage code changes
Issues
Plan and track work
Discussions
Collaborate outside of code
Explore
All features
Documentation
GitHub Skills
Blog
Solutions
By size
Enterprise
Teams
Startups
By industry
Healthcare
Financial services
Manufacturing
By use case
CI/CD & Automation
DevOps
DevSecOps
Resources
Topics
AI
DevOps
Security
Software Development
Explore
Learning Pathways
White papers, Ebooks, Webinars
Customer Stories
Partners
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
Advanced Security
Enterprise-grade security features
GitHub Copilot
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
MatthiasNickles
/
diff-SAT
Public
Notifications
You must be signed in to change notification settings
Fork
4
Star
63
Code
Issues
0
Pull requests
0
Discussions
Actions
Projects
0
Wiki
Security
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Wiki
Security
Insights
Commits
Branch selector
master
User selector
All users
All time
Commit History
Commits on Jul 1, 2024
Update README.md
MatthiasNickles
committed
Jul 1, 2024
1ca0bdf
Commits on Jun 12, 2024
Update README.md
MatthiasNickles
committed
Jun 12, 2024
f9ac927
Commits on Jun 10, 2024
Update README.md
MatthiasNickles
committed
Jun 10, 2024
73f4f05
Update README.md
MatthiasNickles
committed
Jun 10, 2024
b48ce31
Update README.md
MatthiasNickles
committed
Jun 10, 2024
f9a7274
Commits on Jan 11, 2024
Update README.md
MatthiasNickles
committed
Jan 11, 2024
935f65c
Commits on Jan 10, 2024
Update README.md
MatthiasNickles
committed
Jan 10, 2024
a950f91
Update README.md
MatthiasNickles
committed
Jan 10, 2024
243ab2e
Commits on Jan 3, 2024
Update README.md
MatthiasNickles
committed
Jan 3, 2024
249117d
Commits on Dec 29, 2023
Update README.md
MatthiasNickles
committed
Dec 29, 2023
fe749fd
Commits on Jul 10, 2023
Update README.md
MatthiasNickles
committed
Jul 10, 2023
f8218ad
Update README.md
MatthiasNickles
committed
Jul 10, 2023
2f6c3d2
Commits on Mar 13, 2023
Update README.md
MatthiasNickles
committed
Mar 13, 2023
abac544
Commits on Jun 12, 2022
Update README.md
MatthiasNickles
committed
Jun 12, 2022
04d1b39
Update README.md
MatthiasNickles
committed
Jun 12, 2022
b40f06a
Commits on May 6, 2022
Update README.md
MatthiasNickles
committed
May 6, 2022
8545b42
Delete diffSAT_2.13-0.5.2.pom
MatthiasNickles
committed
May 6, 2022
4f4136b
Commits on May 5, 2022
Add files via upload
MatthiasNickles
committed
May 5, 2022
4d2fcc4
Add files via upload
MatthiasNickles
committed
May 5, 2022
868a15d
Add files via upload
MatthiasNickles
committed
May 5, 2022
8ab3144
Add files via upload
MatthiasNickles
committed
May 5, 2022
e0815f3
Add files via upload
MatthiasNickles
committed
May 5, 2022
8637b75
Add files via upload
MatthiasNickles
committed
May 5, 2022
633f271
Add files via upload
MatthiasNickles
committed
May 5, 2022
aad4676
Add files via upload
MatthiasNickles
committed
May 5, 2022
afe749d
Add files via upload
MatthiasNickles
committed
May 5, 2022
cb5dd69
Add files via upload
MatthiasNickles
committed
May 5, 2022
ff51052
Update CHANGELOG.md
MatthiasNickles
committed
May 5, 2022
e812333
Add files via upload
MatthiasNickles
committed
May 5, 2022
546d0d6
Add files via upload
MatthiasNickles
committed
May 5, 2022
41ae4ba
Add files via upload
MatthiasNickles
committed
May 5, 2022
620b0a3
Add files via upload
MatthiasNickles
committed
May 5, 2022
38d58ad
Add files via upload
MatthiasNickles
committed
May 5, 2022
dec3722
Add files via upload
MatthiasNickles
committed
May 5, 2022
dc09187
Add files via upload
MatthiasNickles
committed
May 5, 2022
3bdf894
Pagination
Previous
Next
You can’t perform that action at this time.