public void GetVersion()
{
(int, int, int)result = Clingo.Version();
Assert.Equal(5, result.Item1);
Assert.Equal(5, result.Item2);
Assert.Equal(1, result.Item3);
}
private void LoadClingo()
{
try
{
//LoggerUtils.Log($"Loading clingo from {ClingoConstants.ClingoPath}");
clingo = new Clingo(ClingoConstants.ClingoPath);
}
catch (Exception ex)
{
LoggerUtils.Error(ex, "cannot load clingo: ");
}
}