PHPFixing
  • Privacy Policy
  • TOS
  • Ask Question
  • Contact Us
  • Home
  • PHP
  • Programming
  • SQL Injection
  • Web3.0

Tuesday, August 16, 2022

[FIXED] How can I remove the last two rows from Minizic output?

 August 16, 2022     command-line, minizinc, output     No comments   

Issue

When I execute a program of minizinc, the last two rows appear but I do not want them in my output. E.g.

10 10
6
3 3 0 7
3 4 7 6
3 6 7 0
3 7 0 0
4 4 3 0
4 6 3 4
----------
==========

I got it using this kind of command

minizinc --solver Gecode -p <cores> -t 300000 <model> <in_file>

How can I fix this problem from command line?


Solution

These lines represent the status of the solving process. By default solutions are separated using "----------" and the search is marked as complete using "==========".

You can change these using the following flags:

  --soln-comma <s>, --solution-comma <s>
    Specify the string used to separate solutions.
    The default is the empty string.
  --unsat-msg (--unsatisfiable-msg), --unbounded-msg, --unsatorunbnd-msg,
        --unknown-msg, --error-msg, --search-complete-msg <msg>
    Specify solution status messages. The defaults:
    "=====UNSATISFIABLE=====", "=====UNSATorUNBOUNDED=====", "=====UNBOUNDED=====",
    "=====UNKNOWN=====", "=====ERROR=====", "==========", respectively.


Answered By - Dekker1
Answer Checked By - Willingham (PHPFixing Volunteer)
  • Share This:  
  •  Facebook
  •  Twitter
  •  Stumble
  •  Digg
Newer Post Older Post Home

0 Comments:

Post a Comment

Note: Only a member of this blog may post a comment.

Total Pageviews

Featured Post

Why Learn PHP Programming

Why Learn PHP Programming A widely-used open source scripting language PHP is one of the most popular programming languages in the world. It...

Subscribe To

Posts
Atom
Posts
Comments
Atom
Comments

Copyright © PHPFixing