Isabell Pflug isabell

0 Followers · 0 Following

• Jena

• Femme 21 years old programmer | Currently studying "Informatik B. Sc." at FSU Jena | Mastodon

• Joined on Sep 23, 2019

Repositories Projects Packages Public Activity Starred Repositories

5

Loading Heatmap…

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 47e26c83d4 ♻️ Cleaned up includes for inherited KCNF class.
• 1467767525 ♻️ Inherit DIMACS writing and reading code too.
• 2e31b44efa ♻️ Added general CNF class that KCNF now inherits.
• Compare 3 commits »

2 weeks ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 849ed2761f ✨ Added DIMACS reader to KCNF class.

2 weeks ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 706ef6d3bc 🐛 Changed the indices sampling logic to use lists to prevent duplicate clauses.

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 548ef99a09 📌 Fixed openmp check in Makefile.

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 999a3a23e6 🐛 Fixed markdown spaces.

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 72592d4455 📝 Added helpful README.md
• 3894856d26 🎉 Added random_kcnf project.
• 51965830d7 🎉 Added Hello World test program.
• eee1911d8e 🔨 Created Makefile to automatically build projects from src/ and lib/
• befe6bf1bf 🙈 Created .gitignore file for c++ project structure.
• Compare 5 commits »

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 483301c5c5 📝 Added an example to the sample_indices function.

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 8eebfa5d6d 🎨 Made README.md even prettier.

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• b9d41cbfea 📝 Improved README.md structure.

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 33fd192853 🐛 Fixed README.md (now for real)

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 094873d088 🐛 Fixed space in README.md

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• f1456faf4d 📝 Added random_kcnf project to README.md.
• d7ad78b6da ✨ Created KCNF class and wrote random KCNF generation project.
• 2b68226236 🚚 Moved 'Hello World' into its own project subfolder.
• db12710281 🧱 Neatly separated code into projects and libraries.
• 1b241cd05b 🔒 Added failsafe to Makefile for c++ version.
• Compare 5 commits »

1 month ago

isabell created branch main in isabell/Algorithmisches_Beweisen_LAB

1 month ago

isabell pushed to main at isabell/Algorithmisches_Beweisen_LAB

• 324d5ae908 🎉 Hello World!

1 month ago

isabell created repository isabell/Algorithmisches_Beweisen_LAB

1 month ago

isabell pushed to main at isabell/turn-calculator

• 09b494c528 🐛 Fixed wrong weapon informations.
• d9ac33ac2e ✨ (thanks jenny) printing of ranged damage and blocking abilities now working!
• 074a8c5cb6 🎉 Started out with the calculator.
• 707b7183a9 Initial commit
• Compare 4 commits »

2 years ago

isabell pushed to main at isabell/turn-calculator

• d096f6abc2 🐛 Fixed wrong weapon informations.
• 5218e76ee9 ✨ (thanks jenny) printing of ranged damage and blocking abilities now working!
• eb22a99e12 🎉 Started out with the calculator.
• Compare 3 commits »

2 years ago

isabell pushed to main at isabell/turn-calculator

• d981f28b41 🐛 Fixed wrong weapon informations.

2 years ago

isabell pushed to main at isabell/turn-calculator

• cec7d6019c ✨ (thanks jenny) printing of ranged damage and blocking abilities now working!

2 years ago

isabell pushed to main at isabell/cheatsheet

• d2ea8f806c 📝 Wrote to-do list that explains the goal of this package

3 years ago