Skip to content

issues Search Results · repo:jogiet/MOLOSS language:OCaml

Filter by

7 results
 (65 ms)

7 results

injogiet/MOLOSS (press backspace or delete to remove)

jogiet/MOLOSS
Unifying the output

Hello, When I was parsing some of your results, I detect something strange. The output when it is unsatisfiable is c \027[31mUNSAT\027[0m You should change it into s UNSATISFIABLE in order to unify ...
  • Mystelven
  • 1
  • Opened 
    on Nov 29, 2017
  • #7

jogiet/MOLOSS
Could you make a release ?

Hello, I will use Moloss in an article, but to cite it, I need something that can not change during the time. It would be nice to have a release like Moloss 1.0. Like this, if someone is not sure about ...
  • Mystelven
  • 1
  • Opened 
    on Nov 27, 2017
  • #6

jogiet/MOLOSS
Problem with the model v2

Hello, I find another bug related to the model-output. Again does not seems to be something big, just a display problem. Here is the StackTrace: c (p100) ((~ (p101)) ([r1] (((~ (p101)) | (p100)) ...
  • Mystelven
  • 1
  • Opened 
    on Nov 24, 2017
  • #5

jogiet/MOLOSS
Some issue in the model returned

Hello, I tested moloss on a formula and I detect a bug in the model returned. bash$ ./test.intohylo --get-model c (p100) ((~ (p101)) (((~ (p101)) | (p100)) (((~ (p102)) | (p101)) (((~ (p103)) ...
  • Mystelven
  • 3
  • Opened 
    on Nov 22, 2017
  • #4

jogiet/MOLOSS
Static-Compilation

One good feature for a solver is the ability to be compiled as a static executable. Do you think it is possible to add such feature ? Because I compile moloss on my machine and tried to run it on our ...
  • Mystelven
  • 11
  • Opened 
    on Nov 16, 2017
  • #3

jogiet/MOLOSS
Problem with installation in the file `ast_fo`

There is a problem with the installation. Installing Opam, Ocaml and everything is ok. But then when I type make here is the following problem: valentinmontmirail@Ubuntu:~/moloss/$ make ocamlfind query ...
  • Mystelven
  • 2
  • Opened 
    on Nov 15, 2017
  • #2

jogiet/MOLOSS
Input format: should be a standard ? Why not InToHyLo ?

Hello, It is not really an issue but more a proposition of a feature. If you want this solver to be used in comparison with others solvers, it is worth it to standardize the input. Here is the BNF grammar ...
enhancement
  • Mystelven
  • 9
  • Opened 
    on Nov 8, 2017
  • #1
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub