The district court found a violation .
The district court refused to order compulsory reasonable royalty licensing or to allow the Government to challenge patent validity .
The district court found a violation but refused to order compulsory reasonable royalty licensing or to allow the Government to challenge patent validity .