Pinned 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. qrtwhisper qrtwhisper Public

   A Real time Qt Interface for Whisper.cpp

   C++ 1 1

3. iscas85_formula_generator iscas85_formula_generator Public

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

   C++

4. QLogueLibrarian QLogueLibrarian Public

   Cross-platform GUI wrapper for KORG logue-sdk/logue-cli tools

   QML

5. tsppdl-unicen tsppdl-unicen Public

   TSPPDL Solver. VNS-Tree implementation with algorithmic improvements.

   C++