projects
/
platform
/
upstream
/
libsolv.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
0825c050c43d53784b0318d9e4f42dd46261f392
[platform/upstream/libsolv.git]
/
src
/
policy.c
1
/*
2
* Generic policy interface for SAT solver
3
*
4
*/
5
6
#include "solver.h"
7
#include "policy.h"
8
9