Explore @NMSU-KLAP Open Source projects

@NMSU-KLAP

NMSU-KLAP

Stars
2
Global Org. Rank 265,079 (Top 85 %)
Registered about 4 years ago
Most used languages

Prolog
50.0 %

C++
50.0 %

fzn-minicpp

A C++ constraint solver based on MiniCP, compatible with MiniZinc.

Repair-by-Regression

Code of the paper: A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States