conda/pycosat

Pycosat Statistics

trdavidson opened this issue · 3 comments

trdavidson commented

Hey guys,

great binding. I was wondering if it would be possible to include the statistics that are available in the pure C version?

/------------------------------------------------------------------------/
/* Statistics.
/
int picosat_variables (PicoSAT *); / p cnf n /
int picosat_added_original_clauses (PicoSAT *); / p cnf m /
size_t picosat_max_bytes_allocated (PicoSAT *);
double picosat_time_stamp (void); / ... in process /
void picosat_stats (PicoSAT *); / > output file /
unsigned long long picosat_propagations (PicoSAT *); / #propagations /
unsigned long long picosat_decisions (PicoSAT *); / #decisions /
unsigned long long picosat_visits (PicoSAT *); / #visits */

Thanks!

samarthbhargav commented

@trdavidson did you figure out how to get these statistics?

  • 👍2
Kaleidophon commented

Has there been any progress on this?

github-actions commented

Hi there, thank you for your contribution!

This issue has been automatically marked as stale because it has not had recent activity. It will be closed automatically if no further activity occurs.

If you would like this issue to remain open please:

  1. Verify that you can still reproduce the issue at hand
  2. Comment that the issue is still reproducible and include:
    - What OS and version you reproduced the issue on
    - What steps you followed to reproduce the issue

NOTE: If this issue was closed prematurely, please leave a comment.

Thanks!