Skip to content
View danieljmg's full-sized avatar
4 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report danieljmg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. Nemo2_tool Nemo2_tool Public

    Nemo2 is a tool to Model and Transform by Bit-Blasting Numerical Feature Models into different Propositional Formulas and Universal Variability Language (UVL) Models

    Python 2 1

  2. Nemo_tool Nemo_tool Public

    Nemo is a tool to transform Numerical Feature Models into a CNF DIMACS file by means of Bit-Blasting

    Python 1 1

  3. css-toggle-switch css-toggle-switch Public

    Forked from ghinda/css-toggle-switch

    Accessible, CSS-only, toggle switches

    CSS

  4. SPLs-BitBlasting-URS SPLs-BitBlasting-URS Public

    Sampling Product Configurations Of Feature Models That Have Numerical Features (Artifact)

  5. SPLC22 SPLC22 Public

    DATA: Quality-aware Analysis and Optimisation of Virtual Network Functions

    1

  6. QualityVariabilityModel QualityVariabilityModel Public

    Advanced Reasoning of Quality Valued Configurations in Category Theory

    JavaScript