Dharmik Savaliya's repositories
FeatJAR-base-Team2
Common utilities and data structures
FeatJAR-bin-javasmt-Team2
Native bindings for JavaSMT
FeatJAR-bin-sharpsat-Team2
Native bindings for sharpSAT
FeatJAR-cli-Team2
Command Line Interface
FeatJAR-feature-model-Team2
Feature models and configurations
FeatJAR-formula-analysis-javasmt-Team2
Analysis of first-order formulas using JavaSMT
FeatJAR-formula-analysis-sat4j-sharpsat-Team2
Analysis of propositional formulas using Sat4j and sharpSAT
FeatJAR-formula-analysis-sat4j-Team2
Analysis of propositional formulas using Sat4j
FeatJAR-formula-analysis-sharpsat-Team2
Analysis of propositional formulas using sharpSAT
FeatJAR-formula-Team2
Propositional and first-order formulas
FeatJAR-gradle-plugins-Team2
Reusable Gradle plugins for build logic
FeatJAR-Team2
Java libraries for feature-oriented software development
FeatJAR-util-evaluation-Team2
Utilities for reproducible evaluations
FeatJAR-uvl-Team2
Universal Variability Language
FeatureIDE-Team2
An extensible framework for feature-oriented software development
Good-to-know
Here is some documents providing brief of different fields such as SoftWare Engineering, Machine Learning, Cryptography and Data Mining.
s-dharmik
Want to know about me? Here is all you need to know... ❤️