Skip to content
View davidemmanuellopez's full-sized avatar
2 followers · 1 following

Block or report davidemmanuellopez

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. demuba3 demuba3 Public

    A Automated Demonstrator written in Prolog. That can be used as SAT solver when you place one formula on thesis (tautology test).

    C++ 2

  2. davidemmanuellopez.github.io davidemmanuellopez.github.io Public

    Personal Site

    HTML

  3. iscas85_formula_generator iscas85_formula_generator Public

    A C++ utility for generate propositional non-clausal fórmulas, using iscas85 circuit specification

    C++

  4. tsppdl-unicen tsppdl-unicen Public

    TSPPDL Solver. VNS-Tree implementation with algorithmic improvements.

    C++