Thanks! Have you ever used this? I’m also seeing another logic language called Scallop.
I’ve recently started running models locally with llama.cpp, but this seems like a whole other setup.
Thanks! Have you ever used this? I’m also seeing another logic language called Scallop.
I’ve recently started running models locally with llama.cpp, but this seems like a whole other setup.