Pinned Repositories
dev-andreas
Config files for my GitHub profile.
dev-andreas.github.io
Portfolio Website
FeatJAR
Java libraries for feature-oriented software development
FeatJAR-base
Common utilities and data structures
FeatJAR-feature-model
Feature models and configurations
FeatJAR-formula
Propositional and first-order formulas
FeatJAR-formula-analysis-cadical
FeatJAR-formula-analysis-ddnnife
FeatJAR-formula-analysis-javasmt
Analysis of first-order formulas using JavaSMT
FeatJAR-formula-analysis-sat4j
Analysis of propositional formulas using Sat4j
dev-andreas's Repositories
dev-andreas/dev-andreas.github.io
Portfolio Website
dev-andreas/my-github-pages
My GitHub Pages source code
dev-andreas/FeatJAR-formula
Propositional and first-order formulas
dev-andreas/FeatJAR-gradle-plugins
Reusable Gradle plugins for build logic
dev-andreas/FeatJAR
Java libraries for feature-oriented software development
dev-andreas/FeatJAR-feature-model
Feature models and configurations
dev-andreas/FeatJAR-formula-analysis-ddnnife
dev-andreas/FeatJAR-uvl
Universal Variability Language
dev-andreas/FeatJAR-formula-analysis-sharpsat
Analysis of propositional formulas using sharpSAT
dev-andreas/FeatJAR-formula-analysis-sat4j
Analysis of propositional formulas using Sat4j
dev-andreas/FeatJAR-formula-analysis-cadical
dev-andreas/FeatJAR-formula-analysis-javasmt
Analysis of first-order formulas using JavaSMT
dev-andreas/FeatJAR-base
Common utilities and data structures
dev-andreas/recipe-app-server
Recipe App Server
dev-andreas/recipe-app-client
Recipe App Client
dev-andreas/dev-andreas
Config files for my GitHub profile.
dev-andreas/pollapp
A poll website with Django, Vue, and Tailwind.