potassco/clingo-rs

Issues

• ast example fails to compile

  #66 opened a year ago by llaisdy
  2

• clingo-rs versions 0.7.x unable to locate libclingo

  #61 opened a year ago by EWurbel
  2

• Solve with mut ref to Control object

  #58 opened a year ago by drwadu
  5

• Translating ">=" to a GreaterThan instead of GreaterEqual

  #51 opened 2 years ago by ZachJHansen
  3

• Question about clingo::parse_program_with_logger function

  #49 opened 3 years ago by ZachJHansen
  0

• impl Drop for SolveHandle?

  #29 opened 3 years ago by samuelpilz
  13

• Consider adding error type or error variant for unrecognized Symbol

  #15 opened 3 years ago by peacememories
  11

• Plans for the next release?

  #26 opened 3 years ago by pluehne
  2

• Error on Windows

  #28 opened 3 years ago by d4hines
  19

• Has anybody ever considered implementing a `Control` type that can safely be shared between threads?

  #44 opened 3 years ago by drwadu
  1

• Add new rule that does not introduce new Atoms

  #43 opened 3 years ago by drwadu
  1

• Add information about timeout

  #33 opened 4 years ago by MalteT
  6

• Assign external variables

  #27 opened 5 years ago by samuelpilz
  2

• Creating `Atom`s

  #12 opened 5 years ago by peacememories
  4

• Remove 3.0.1 release tag?

  #22 opened 5 years ago by pluehne
  2

• Return `&'static str` instead of `&str` in `Symbol` functions

  #13 opened 5 years ago by peacememories
  4

• Use thiserror instead of failure

  #10 opened 5 years ago by sthiele
  1

• building with stable rust instead of nightly

  #3 opened 6 years ago by aurelien-naldi
  3